გამოყვანის იმპლიკაციური წესები

მოდუს პონენსი PQ კონსტრუქციული (P  Q)  (R  S)

P დილემა PR
--------- ---------
Q QS

მოდუს ტოლენსი PQ გამარტივება PQ

Q ---------
--------- P
P
ჰიპოთეტური PQ კონიუნქციის P
სილოგიზმი შემოღება
QR Q
--------- ---------
PR PQ

დისიუნქციური PQ დამატება P

სილოგიზმი
P ---------
--------- PQ
Q

გამოყვანის ტავტოლოგიური წესები

დემორგანის ¬(P  Q)  ¬P  ¬Q კონტრაპოზიციის (P  Q)  (Q  P)
წესები ¬(P  Q)  ¬P  ¬Q წესი

გადანაცვლების (P  Q)  (Q  P) იმპლიკაციის (P  Q)  (P  Q)

წესი (P  Q)  (Q  P) ელიმინაციის წესი

დაჯგუფების [(P  Q)  R]  [P  (Q  R)] ეკვივალენციის (P  Q)  [(P  Q)  (Q  P)]

წესი [(P  Q)  R]  [P  (Q  R)] ელიმინაციის წესი

ორმაგი P  P გადატანის წესი [(P  Q)  R]  [P  (Q  R)]

უარყოფის წესი

განაწილების [P  (Q  R)]  [(P  Q)  (P  R)] ტავტოლოგია P  (P  P)

წესი [P  (Q  R)]  [(P  Q)  (P  R)] P  (P  P)