Osnove matematičke logike

Osnovne logičke operacije i složeni logički izrazi

2. Osnovne logičke operacije

2.1. Negacija – logičko NE (NOT)

ne_uvodni

Logička varijabla A može poprimiti samo dvije vrijednosti: 1 ili 0.

Operacija logičko NE djeluje na jednu logičku varijablu tako da ju negira. Ako je varijabla istinita, ima vrijednost 1, a negacija je onda laž i ima vrijednost 0.

Dakle, negacija istine je laž, a negacija laži je istina.

Negaciju označavamo sa simbolom iznad varijable. Ovako .

Djelovanje logičkih operacija opisujemo tablicom istinitosti. Tablica istinitosti za negaciju je:

tablica ne

Primjer:

Odredimo istinitost sljedećih logičkih izraza:

a) NE(4 – 5 = 1)

b) NE (7 < 17)

Rješenje:

a) NE (laž) = istina, odnosno NE(0) = 1

b) NE (istina) = laž, odnosno NE(1) = 0

  čitamo kao „nije A“, „ne A“, „A negirano“, „A potez“ ili „negacija od A“.