1. Esercizi di logica - Logica proposizionale

Con questo video inauguro una nuova playlist dedicata agli esercizi di logica. Cominceremo dalla logica proposizionale. Per i concetti teorici vi suggerisco le playlist n. 4 e 5. Svolgerò il calcolo dei valori di verità di una forma proposizionale utilizzando tre metodi: 1. Metodo diretto. 2. Metodo indiretto. 3. Metodo dell’albero semantico. In questo video vi mostrerò tre casi: 1. La fp ha sempre valore V, quindi è una tautologia. ((A→B)→A)→A 2. La fp ha almeno un valore V e almeno un valore F, quindi è contingente. ¬(A→B)→B 3. La fp ha sempre valore F, quindi è una contraddizione. ¬(¬(A∧B)∨(A∧B))