negació LÒG.

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:

«”No P” és fals quan P és vertader i és vertader quan P és fals».

Per 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 vertader («no fa sol»)

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.