reminder pasquale
Ex Falso Quodlibet: A & ¬A |- B
1 (1) A & ¬A assunzione
2 (2) ¬B assunzione (per reductio)
1,2 (3)(A & ¬A) & ¬B 1,2 e introduzione
1,2 (4) A & ¬A 3 e eliminazione
1 (5) ¬¬B 2,4, reductio ad absurdum
1 (6) B eliminazione della doppia negazione
1 comment:
E la formula dell'ipotesi allucinatoria?
E a quale codice ascii corrisponde il simbolo di negazione?
Post a Comment