και όχι για 
Επιστροφή στην ειδική αναζήτηση
και όχι για 
maiksoul έγραψε:Αντώνη, καλημέρα!
Οι συνεπαγωγέςκαι
δεν είναι ίδιες, γιατί λοιπόν όταν η μια είναι Α η άρνηση της άλλης να είναι Ψ;
Μήπως είναι κάτι που δεν βλέπω;
τότε
οπότε η δοσμένη γράφεται![A \wedge \neg A \Rightarrow [(p\wedge q)\Rightarrow s] A \wedge \neg A \Rightarrow [(p\wedge q)\Rightarrow s]](/forum/ext/geomar/texintegr/latexrender/pictures/e8b5a1e8edef674ba161b300ef1070dc.png)
η οποία είναι ταυτολογία
με 



