Principalele legi logice (a se vedea Bieltz, P. i Gheorghiu, D.

; Logic
juridic, Editura Pro Transilvania, Bucureti, 1998, pp. 401 405)
I) Proprietile operatorilor logici:
Comutativitatea operatorilor de disjuncie i conjuncie:
1) Comutativitatea operatorului de disjuncie:
2) Comutativitatea operatorului de conjuncie:

(p V q) (q V p)
(p & q) (q & p)

Asociativitatea operatorilor de disjuncie i conjuncie:

2) Asociativitatea operatorului de disjuncie:

(p V q) V r p V (q V r)

3) Asociativitatea operatorului de conjuncie:

(p & q) & r p & (q & r)

Distributivitatea operatorului de conjuncie fa de disjuncie i a disjunciei fa

de conjuncie:
5) Distributivitatea operatorului de conjuncie fa de disjuncie:
p &(q V r) (p & q) V (p & r)
6) Distributivitatea operatorului de disjuncie fa de conjuncie:
p V (q & r) (p V q) & (p V r)

Legile de idempoten:
7)

(p & p) p

8)

(p V p) p

II) Reflexivitatea i tranzitivitatea implicaiei i a echivalenei:

9) Reflexivitatea implicaiei:
10) Reflexivitatea echivalenei:

pp
pp

(p q) & (q r) (p r)

11) Tranzitivitatea implicaiei:

12) Tranzitivitatea echivalenei:

(p q) & (q r) (p r)

III) Relaiile de echivalen ntre formulele logice:

13) Scrierea implicaiei cu ajutorul negaiei, respectiv a disjunciei:
(p q) ( p V q)
Legile absorbiei:
14)

15)

[p & (p V q)] p

[p V (p & q)] p

Legile dublei negaii:

( p) p

16) Negaia lui non p implic p :

17) Negaia lui non p este echivalent cu p:

( p) p

Legile lui De Morgan:

18) Negaia disjunciei:

(p V q) ( p & q)

19) Negaia conjunciei:

(p & q) ( p V q)

IV) Legile implicaiei materiale:

20) Adevrul decurge din orice:

21) Falsul implic orice:

p (q p)

( p) (p q)

V) Legile reducerii la absurd:

22)

23)
1

[p ( p)] ( p)

[(p q) & ( p q)] ( p)

Orice conjuncie implic orice parte a sa:

24)

(p & q) p

25)

(p & q) q

Disjuncia este implicat de orice parte a sa:

26)

27)

p (p V q)

q (p V q)

28) Legea lui Moduss Ponens:

29) Legea noncontradiciei:

30) Legea terului exclus:

[(p q) & p] q

(p & p)

p V ( p)