q , 
q 
r } 
p r ;Απάντηση
Κατασκευάζουμε τον πίνακα:
5.gif)
q , q r }, ικανοποιεί και την p r. Άρα το { p
q , q r } ταυτολογικά συνεπάγεται την πρόταση p r.
Επιστροφή |
q , q r } p r ;q , q r }, ικανοποιεί και την p r. q , q r } ταυτολογικά συνεπάγεται την πρόταση p r.
Επιστροφή |