IZJAVNA LOGIKA

Negacija

Negacija izjave A je izjava, ki trdi nasprotno kot izjava A. Negacija je enočlena povezava.


Povezavo označimo z znakom ¬ ali z besedo "ne" ali "ni res".


Če je izjava A pravilna, je ¬A nepravilna in obratno, če je ¬A pravilna, je A nepravilna.

A¬A
pn
np

Velja, da je ¬ ¬ A enako A.


Primer:
A: Število 3 je praštevilo. (p)
¬A: Število 3 ni praštevilo. (n)


NASLEDNJA STRAN