Negare una proposizione portando la negazione all’interno
Salve,
avendo una proposizione complessa... ad esempio:
A∧B→C
Se io voglio negare la proposizione, ovviamente non semplicemente mettendo tra parentesi il tutto e mettendoci la negazione davanti, bensí portando la negazione all’interno, che provedimento devo seguire?
Una possibilità sarebbe trascrivere la tavola di verità, vedere quando il tutto è falso e cercare di esprimerlo coi connettori di base. Però se la proposizione è molto complessa diventa molto laborioso. Ci sono altri sistemi?!
avendo una proposizione complessa... ad esempio:
A∧B→C
Se io voglio negare la proposizione, ovviamente non semplicemente mettendo tra parentesi il tutto e mettendoci la negazione davanti, bensí portando la negazione all’interno, che provedimento devo seguire?
Una possibilità sarebbe trascrivere la tavola di verità, vedere quando il tutto è falso e cercare di esprimerlo coi connettori di base. Però se la proposizione è molto complessa diventa molto laborioso. Ci sono altri sistemi?!
Risposte
Le leggi di De Morgan e la definizione di implicazione $A\Rightarrow B$ come (not A) OR B 
Paola
Paola
In effetti era abbastanza banale...
¬(A∨B→C)
=¬(A∨B)∨C
=¬A∧¬B∨C
Grazie comunque...
¬(A∨B→C)
=¬(A∨B)∨C
=¬A∧¬B∨C
Grazie comunque...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo