I. Rachunek zdań (wybrane tezy rachunku zdań)

5  1    25 フィッシュ    pptaks
mp3をダウンロードする 印刷 遊びます 自分をチェック
 
質問 język polski 答え język polski
zasada tożsamości
学び始める
p=p
zasada podwójnego przeczenia
学び始める
p=~~p
zasada sprzeczności
学び始める
~(p^~p)
zasada wyłączonego środka
学び始める
p v ~p
prawo redukcji do absurdu
学び始める
(p ⇒ ~p) ⇒ ~p
prawo symplifikacji
学び始める
(p ^ q) ⇒ p
prawo przemienności koniunkcji
学び始める
(p ^ q) = (q ^ p)
prawo addycji
学び始める
p ⇒ (p v q)
prawo przemienności alternatywy
学び始める
(p v q) = (q v p)
I prawo de Morgana
学び始める
~(p ^ q) = (~p v ~q)
II prawo de Morgana
学び始める
~(p v q) = (~p ^ ~q)
modus ponendo ponens
学び始める
[(p⇒q)^p]⇒q
modus tollendo tollens
学び始める
[(p⇒q)^~q]⇒~p
prawo Dunsa Szkota
学び始める
~p⇒(p⇒q)
prawo transpozycji
学び始める
(p⇒q)⇒(~q⇒~p)
prawo przemienności równoważności
学び始める
(p=q) = (q=p)
prawo łączności koniunkcji
学び始める
[p ^ (q^r)] = [(p^q) ^ r]
prawo łączności alternatywy
学び始める
[p v (q v r)] = [(p v q) v r]
prawo rozdzielności koniunkcji względem alternatywy
学び始める
[p ^ (q v r)] = [(p ^ q) v (p^r)]
prawo rozdzielności alternatywy względem koniunkcji
学び始める
[p v (q ^ r)] = [(p v q) ^ (p v r)]
prawo komutacji
学び始める
[p⇒(q⇒r)] = [q⇒(p⇒r)]
prawo eksportacji
学び始める
[(p^q)⇒r] ⇒ [p⇒(q⇒r)]
prawo importacji
学び始める
[p⇒(q⇒r)]⇒[(p^q)⇒r]
prawo sylogizmu hipotetycznego
学び始める
[(p⇒q) ^ (q⇒r)] ⇒(p⇒r)
prawo dylematu konstrukcyjnego
学び始める
[(p⇒r) ^ (q⇒r) ^ (p v q)] ⇒ r

コメントを投稿するにはログインする必要があります。