macbookpro

macbookpro - 09/set/13 16:26CAZZATA: l'assorbimento è int. valido:[A→∼A]1 [ A]2---------- ∼A [A]2---------------- ⊥--------------- 2 ∼A--------------- 1 (A→∼A)→∼AQuindi l'assorbimento è int. applicabile. Quello che non è applicabile è la legge di bivalenza usata per passare da (4) a (5).

macbookpro

macbookpro - 06/set/13 16:31La parte interessante per me è da qui in poi.