Negació
De Wikisofia
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} O negador. Connectiva que en lògica d'enunciats tradueix l'adverbi «no» i la funció del qual és canviar...».)
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} O negador. Connectiva que en lògica d'enunciats tradueix l'adverbi «no» i la funció del qual és canviar...».)
O negador. Connectiva que en lògica d'enunciats tradueix l'adverbi «no» i la funció del qual és canviar la veritat per la falsedat i la falsedat per la veritat. Se simbolitza amb el signe ¬ davant d'una lletra d'enunciat ( ¬p, ¬q, etc.). La seva taula de veritat és:
S'ha produït un error en crear la miniatura: Fitxer inexistent
(Els valors 0 i 1 també es representen com a F i V i signifiquen Fals o Veritable)
«No P és fals quan P és veritable i és veritable quan P és fals».
Exemple
Si és veritat que p («fa sol»), ¬p és fals («no fa sol» és fals)
Si és fals que p (és fals que «fa sol»), ¬p és veritable («no fa sol»)