Prawa logiczne

 0    15 fiche    pawellubanski
ladda ner mp3 skriva ut spela Kontrollera dig själv
 
Fråga język polski Svar język polski
zasada tożsamości (principium indetitatis)
börja lära sig
(p ≡ p)
zasada niesprzeczności (principium non contradictionis)
börja lära sig
~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi)
börja lära sig
(p v ~p)
zasada podwójnego przeczenia
börja lära sig
~(~p) ≡ p
prawo redukcji do absurdu
börja lära sig
(p -> ~p) -> ~p
sylogizm konstrukcyjny
börja lära sig
[(p -> q) ^ p] -> q
sylogizm destrukcyjny
börja lära sig
[(p -> q) ^ ~q] -> ~p
sylogim alternatywny
börja lära sig
a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej
börja lära sig
(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana
börja lära sig
~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana
börja lära sig
~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji
börja lära sig
q -> (p -> q)
charakterystyka fałszu
börja lära sig
~p -> (p -> q)
prawo Dunsa Szkota
börja lära sig
(p ^ ~p) -> q
prawo negowania implikacji
börja lära sig
~(p -> q) ≡ (p ^ ~q)

Du måste vara inloggad för att skriva en kommentar.