Revisió del 11:54, 24 abr 2012 modifica 80.29.126.239 (discussió) Cap resum de modificació ← Edició anterior		Revisió del 12:04, 24 abr 2012 modifica desfés Pere Sallavinera (discussió \| contribucions) Autopatrullats, Reversors 9.243 edits Es desfà la revisió 9438871 de 80.29.126.239 (Discussió) Edició següent →
Línia 1: La ~~follar sin parar hasta la muerte~~ '''taula de valors de veritat''', també coneguda com '''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]]. 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''']].

Taula de veritat: diferència entre les revisions