Taula de veritat: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: lògiques de [[intel > lògiques d'[[intel |
m Corregit: com '''taula > com a '''taula |
||
Línia 1:
La '''taula de valors de veritat''', també coneguda com a '''taula de veritat''', és una eina desenvolupada per [[Charles Peirce]] en els [[dècada del 1880]], sent no obstant això més popular el format que [[Ludwig Wittgenstein]] va desenvolupar en el seu ''Tractatus logico-philosophicus'', publicat en 1921. S'empren en [[lògica]] per a determinar els possibles valors de debò d'una [[expressió lògica|expressió]] o [[proposició]] molecular. O si un esquema d'[[inferència]], com [[argument]], és formalment [[validesa lògica|vàlid]] mostrant que, efectivament, és una [[Tautologia (lògica)|tautologia]].
Considerant dues [[proposició|proposicions]] A i B, cadascuna com un tot (sigui com proposició atòmica o molecular) i així mateix cadascuna amb els seus dues possibles valors de debò V (Veritable) i F (Fals), i considerant la seva relació "$" com variable de qualsevol relació sintàctica possible que defineixi una funció de veritat, podrien succeir els casos següents: NOTA: Les proposicions A, B, C,.... majúscules simbolitzen qualsevol [[proposició]], atòmica o molecular, pel que pròpiament són expressions [[metallenguatge|metalingüístiques]] respecte al llenguatge objecte de la [[lògica proposicional]], generalment simbolitzades amb minúscules p, q, r, s... com [[proposició|'''proposicions atòmiques''']].
| |||