Question

Uwaga Uwaga! SOS potrzebuję pomocy!
Nic nie kapuję z matmy :( w sumie to nie nowość xD ale teraz to wyjątkowo, wszystko jest jakieś dziwniejsze niż zawsze :/
NIELOGICZNA TA LOGIKA XDDD
Więc tak:
Wykaż że zdanie jest prawem rachunku zdań:
a) [p^(p --> q)] prawo odrywania
b) (p --> q) <--> (~q --> ~p)

Zlitujcie się błagam!
I z góry dzięki ^^

Answer 1

[p∧(p→q)]→q
1 1  1 1 1   1  1
1  0 1 0 0   1  0
0  0 0 1 1   1  1
0  0 0 1 0  1   0

(p→q)⇔(~q    →~p)
1  1 1  1   0 1 1  0 1
1  0 0  1  1 0  0  0 1
0  1 0  1  1 0  1 1  0
0  1  1  1  0 1 1 1 0

Są to prawa logiczne