5555241305

Podstawowe prawa logiki zdań

1.    Prawa łączności

(pAq)Ar = pA(qAr)

2.    Prawa przemienności

P^Aq = q^AP

3.    Prawa rozdzi el ności

(P^Aq)vr = (pvr)A(qvr)

4.    Prawa absorpcji (pochłaniania)

P^A(P^vq) = P

5.    Prawo idempotentności

p^Ap = p

6.    Prawo wyłączonego środka (tertium non datur)

pA-ip = F

7.    Prawa de Morgana

—<p^Aq) = —ipv—iq

8.    WzorydlaPiF

pAP = p PaF = F —iP — F

9.    Podwójne przeczenie (inwolutywność)

-^|(-'P) = P

10.    Wyrażanie funktorów przez pozostałe

p=>q = —'P^vq

(pvq)vr = pv(qvr) pvq = qvp

(pvq)Ar = (pAr)v(qAr) P^v(p^Aq) = p pvp = p pv—ip = P

—'(P^vq) = «p^A iq

pvF = p pvP = P -iF = P

p«q = (pAq)v(—ipA—iq)