ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2 - ΕΦΑΡΜΟΓΗ 2.2

[nikolvasi]

Καλησπέρα
Δεν θα μπορούσαμε να χρησιμοποιήσουμε τον νόμο της αντιθετοαντιστροφής στο
¬ψ->φ <-> ¬φ -> ¬¬ψ άρα έχουμε ¬φ->ψ. οπότε μετά με ΜΡ βγαίνει αμέσως? Το ότι έχει το not μπροστά από το ψ το κάνει απαγορευτικό?

ευχαριστώ πολύ εκ των προτέρων