Prawa logiczne klasycznego rachunku zdań.

Prawa logiczne wykorzystujemy do wynikania logicznego.

I. Prawa tożsamości
1) Jeżeli p to p p→p
2) p↔p
II. Prawa dotyczące pary zdań sprzecznych
3) p V p Prawo wyłączonego środka (para zdań sprzecznych z których jedno jest prawdziwe)
4) (p p) Prawo niesprzeczności
5) (p↔ p) Nieprawda, że jakieś zdanie jest równe ze swoją negacją.
6) (p p)→q Z pary zdań sprzecznych wynika dowolne zdanie.
7) p→( p→q)
8) p→(p→q)
III. Prawa dotyczące zaprzeczenia zdaniom złożonym
9) ( p)↔p Prawo podwójnego przeczenia
10) (p V q) ↔( p q)
11) (p q) ↔( p V q)
12) (p→q)↔(p q) zaprzeczenie implikacji
13) (p↔q)↔[(p q) V ( p q)]
IV. Prawa dotyczące wzajemnej definiowalności spójników
14)(pVq)↔( p→q) alternatywę można wyrazić za pomocą negacji implikacji
(pVq)↔( q→p)
15)(p q)↔ (p→ q)
16)(p→q)↔( pVq)
p q p→q p pVq (p→q)↔( pVq)
0 0 1 1 1 1
0 1 1 1 1 1
1 0 0 0 0 1
1 1 1 1 1 1
17)(p→q)↔ (p q)
18)(p↔q)↔[(p→q) (q→p)]
19)(p→q)↔( q→ p) Prawo transpozycji
(I→II)↔( II→ I)

20)[(p→q) (q→r)]→(p→r) Sylogizm koniunkcyjny

21)(p→q)→[(q→r)→(p→r)] Sylogizm hipotetyczny

← to nie jest prawo logiczne

← to jest prawo logiczne

22)[(p q)→r]→[p→(q→r)] Prawo eksportacji

23)[p→(q→r)]→[(p→q)→r] Prawo importacji
24)[p→(q→r)]→[(p→q)→(p→r)] Prawo samodzielności implikacji
ZADANIE 1.

(p q)→(p→q)

p q p q p→q (p q)→(p→q)
0 0 0 1 1
0 1 0 1 1
1 0 0 0 1
1 1 1 1 1
ZADANIE 2.

Sprawdź czy następujące formuły są prawami logicznymi:

1) (p q)→p TO JEST PRAWO LOGICZNE

p q p q (p q)→p
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 1

2) p→(p q) TO NIE JEST PRAWO LOGICZNE

p q p q p→(p q)
0 0 0 1
0 1 0 1
1 0 0 0
1 1 1 1

3) (pVq)→p TO NIE JEST PRAWO LOGICZNE

p q pVq (pVq)→p
0 0 0 1
0 1 1 0
1 0 1 1
1 1 1 1

4) p→(pVq) TO JEST PRAWO LOGICZNE

p q pVq p→(pVq)
0 0 0 1
0 1 1 1
1 0 1 1
1 1 1 1

5) (p q)→(pVq) TO JEST PRAWO LOGICZNE

p q p q pVq (p q)→(pVq)
0 0 0 0 1
0 1 0 1 1
1 0 0 1 1
1 1 1 1 1
6) p→(q→p) TO JEST PRAWO LOGICZNE
p q q→p p→(q→p)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1

7) (p→q)→ ( p→ q) TO NIE JEST PRAWO LOGICZNE

p q p q p→q p→ q (p→q)→ ( p→ q)
0 0 1 1 1 1 1
0 1 1 0 1 0 0
1 0 0 1 0 1 1
1 1 0 0 1 1 1

8) (p→q)→(q→p) TO NIE JEST PRAWO LOGICZNE

p q p→q q→p (p→q)→(q→p)
0 0 1 1 1
0 1 1 0 0
1 0 0 1 1
1 1 1 1 1

9) (p→ p)→ p TO JEST PRAWO LOGICZNE

p p p→ p (p→ p)→ p
0 1 1 1
0 1 1 1
1 0 0 1
1 0 0 1

10)(p p)→q TO JEST PRAWO LOGICZNE

p q p p p (p p)→q
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 0 0 1