Пять базовых аргументов считались очевидно правильными и потому не нуждающимися ни в каких дальнейших доказательствах. Они таковы:
1. Если p, то q; p; следовательно, q (modus ponendo ponens);
2. Если p, то q; не q; следовательно, не p (modus tollendo tollens);
3. Не p и не q; p; следовательно, не q;
4. Или p, или q; p; следовательно, не q (modus ponendo tollens);
5. Или p, или q; не q; следовательно, p (modus tollendo ponens).
