Lògica de valor de veritat

Valor de veritat, en lògica, veritat (T o 1) o falsedat (F o 0) d’una proposició o afirmació determinada. Les connectivitats lògiques, com la disjunció (simbolitzada ∨, per "o") i la negació (simbolitzada ∼), es poden considerar com funcions de veritat, perquè el valor de veritat d'una proposició composta és una funció de, o una quantitat que depèn., els valors de veritat de les seves parts components.

El valor de veritat d'una declaració composta es pot provar fàcilment mitjançant un gràfic conegut com a taula de veritat. Cada fila de la taula representa una possible combinació de valors de veritat per a les proposicions de components del compost i el nombre de files està determinat pel nombre de combinacions possibles. Per exemple, si el compost només conté dues proposicions de components, hi haurà quatre possibilitats i, per tant, quatre files a la taula. Les propietats lògiques dels connectius comuns es poden mostrar per taules de veritat de la següent manera:

en què · significa “i” i ⊃ significa “si… llavors ”. (A la taula "o", per exemple, a la segona línia es diu: "Si p és veritat i q és fals, aleshores p is q és cert.") Taules de veritat amb una complexitat molt més gran, les que tenen diverses funcions de veritat., es pot construir mitjançant un ordinador. S'han construït sistemes abstractes de lògica que utilitzen tres valors de veritat (per exemple, veritable, fals i indeterminat) o fins i tot molts, com en la lògica difusa, en què les proposicions tenen valors entre 0 i 1.