Matematica per le superiori/Logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m + sommario
Riga 28:
 
[[Categoria:Matematica per le superiori|Logica]]{{Avanzamento|25%|27 settembre 2008}}
 
 
 
Operazioni logiche
Definendo le operazioni che seguono, le quali hanno sia come operandi che come risultati proposizioni decidibili, si ha il cosiddetto calcolo logico. Le operazioni logiche rientrano nel novero dei cosidetti connettivi logici dei quali vedremo altri esempi in seguito.
Somma logica
La somma logica di due proposizioni A e B, che indicheremo con:
 
A ∨ B
è una proposizione che è vera se è vera almeno una delle due proposizioni A e B: quindi A ∨ B è vera se A è vera e B è falsa, oppure se A è falsa e B è vera o ancora se entrambe le proposizioni A e B sono entrambe vere. Quindi A ∨ B è falsa solo nel caso in cui sia A che B sono entrambe false.