Accions

Diferència entre revisions de la pàgina «Negació»

De Wikisofia

(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...».)
 
m (Text de reemplaçament - "lletres de" a "lletres d'")
 
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
O negador. [[connectors, connectives|Connectiva]] que en [[lògica|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 [[enunciat, lletres de|lletra d'enunciat]] ( ¬p, ¬q, etc.). La seva taula de veritat és:
+
O negador. [[connectors, connectives|Connectiva]] que en [[lògica|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 [[enunciat, lletres d'|lletra d'enunciat]] ( ¬p, ¬q, etc.). La seva taula de veritat és:
  
 
[[File:2307GG.png|400px]]  
 
[[File:2307GG.png|400px]]  

Revisió de 23:10, 20 març 2015

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»)