Revisió del 01:16, 17 ago 2015 modifica Joutbis (discussió \| contribucions) Autopatrullats, Verificadors de comptes d'usuari 71.085 edits m negretes ← Edició anterior		Revisió del 07:47, 26 feb 2016 modifica desfés Alvaro Vidal-Abarca (discussió \| contribucions) Autopatrullats 19.767 edits m neteja Etiquetes: Edita des de mòbil Edició web per a mòbils Edició següent →
Línia 24: En el [[càlcul lògic\|càlcul de deducció natural]] solen definir-se les següents funcions de veritat: :* ¬ (també NOT, ¯) = Negació. «no»▼ :* <math>\~~lor~~land</math> (també OR&, AND) = Definida en la columna 28, com «oi» ~~incloent(«... o ...»),~~ '''~~disjunció~~conjunció''', '''~~suma~~producte'''.▼ ▲:¬ (també NOT, ¯) = Negació. «no» :* <math>\~~iff~~lor</math> (també OR) = Definida en la columna 72 com «o» incloent («... sio ~~i només si~~...»), '''~~bicondicional~~disjunció''', '''~~coimplicador''' o '''equivalència~~suma'''. ▼ ~~:<math>\land</math>~~* ~~(també &, AND)~~→ = Definida en la columna 85, com «isi... llavors...», '''~~conjunció~~condicional''', '''~~producte~~[[implicació]]'''. :→* <math>\iff</math> = Definida en la columna 5,7 com «si...~~llavors~~ si i només si...», '''~~condicional~~bicondicional''', '''~~[[implicació]]~~coimplicador''' o '''equivalència'''. ▼ ▲:<math>\lor</math> (també OR) = Definida en la columna 2 com «o» incloent(«... o ...»), '''disjunció''', '''suma'''. ▲:→ = Definida en la columna 5, com «si...llavors...», '''condicional''', '''[[implicació]]'''. ▲:<math>\iff</math> = Definida en la columna 7 com «... si i només si...», '''bicondicional''', '''coimplicador''' o '''equivalència'''. Es poden definir altres, com es fa en la [[porta lògica\|lògica de circuits]], sempre que se li trobi un sentit lògic pertinent. Per això poden haver diversos sistemes de [[càlcul lògic\|càlcul]] segons les funcions que es defineixin. D'altra banda algunes funcions poden definir-se com combinació d'unes altres. Per exemple la funció A → B és equivalent a la funció combinada ¬(A /\∧ ¬ B), com pot comprovar-se fent la taula de veritat. Aquest tipus d'equivalències són molt útils per a l'establiment de regles per al [[càlcul lògic\|càlcul]] deductiu, doncs al ser equivalències suposen una tautologia, com llei lògica. Malauradament, com veiem en les definicions, hi ha diverses formes de simbolització gràfica de les funcions, si bé això no és obstacle per a la seva definició.

Taula de veritat: diferència entre les revisions