(i) p=>q, p.'.q (Modus ponens) ile (ii) p => q,(...) q.'. (...)p (Modus tollens) biçimindeki çıkarım kuralları.