6) Ποιά από τις δύο προτάσεις  p₁ ( p₂ p₃ )  και ( p₁ p₂ p₃ ) ( p₁ p₂ p₃ )ταυτολογικά συνεπάγεται την άλλη ;
Απάντηση
Έχουμε :
Παρατηρούμε ότι οποτεδήποτε η πρώτη πρόταση παίρνει την τιμή Α δεν παίρνει και η δεύτερη πρόταση την τιμή Α. Άρα η πρώτη δεν συνεπάγεται ταυτολογικά τη δεύτερη.
Οποτεδήποτε η δεύτερη πρόταση όμως παίρνει την τιμή Α τότε και η πρώτη παίρνει την τιμή Α.
Άρα ( p₁ p₂ p₃ ) ( p₁ p₂ p₃ ) p₁ ( p₂ p₃ )
και p₁ ( p₂ p₃ ) ( p₁ p₂ p₃ ) ( p₁ p₂ p₃ )

Επιστροφή