2012 10 06 33 11

Wybrane prawa logiki

Zaprzeczenie implikacji: ^£

~(p =* q) p A ~q

Zastąpienie równoważności implikacją: (p<=>q)<=> [(p => q) A (q => p)]

Prawo kontrapozycji:

(p=*q)<=> (~q => ~p)

Prawo przechodniości: l(p =>q)A(q=> _r)j => (p =» _r)

Prawo wyłączonego środka:

P V~p

Wyszukiwarka

Podobne podstrony:
2012 10 06 29 55 Wybrane prawa logiki Przemienność alternatywy: pvq<=>qvp Łączność alternatyw
2012 10 06 31 45 Wybrane prawa logiki Rozdzielność koniu n kej i względem alternatywy:
2012 10 06 22 11 Rachunek zdań Zdanie wewnętrznie kontradyktoryjne - zdanie fałszywe ze względu na
2012 10 06 27 44 Pra wo logiki Zdanie zawsze prawdziwe - na mocy ^^wofśj struktury niezależnie od l
2012 10 06 11 15 Definiowanie pojęć Definicje równościowe (ideał) - podział na dwie klasy obiektów:
2012 10 06 24 47 Definiowanie pojęć • Treść pełna - zbiór wszystkich cech przysługujących desygnato
2012 10 06 37 22 Warunek wystarczający •    Warunek, z którego dany fakt wynika. Jeż
2012 10 23 39 11 Li R ***/>« nimtl imch mtyk-łięu tllu.nil Utlmić
2010 10 06 33 46 Inicjatorami powstania Wydziału Rolniczego byli ziemianie:
2012 10 06 19 26 Rachunek zdań Funktor równoważności: p wtedy i tylko wtedy, gdy qp<=>q
2012 10 06 20 13 Rachunek zdań Zdanie analityczne - zdanie prawdziwe ze * względu na samo znaczenie
2012 10 06 39 59 Warunek konieczny • Warunek bez którego dany fakt nie wynika. Niewystąpienie warun
2012 10 06 43 18 Warunek konieczny i wystarczający * Zajście zdarzenia P pociągnie za sobą zajście
2012 10 06 45 07 Wnioskowanie dedukcyjne • Wnioskowanie, z którego przesłanek wniosek wynika logicz
2012 10 06 48 15 Wnioskowanie dedukcyjne w świetle wiedzy wnioskującego • Wnioskowanie, z którego p
2012 10 06 52 04 Wn iomowa n iem subiektywnie pewne Wnioskowanie subiektywne pewne jest w świetle w
2012 10 06 54 40 Wnioskowanie indukcyjne W Indukcja enumeracyjna — tlicie takie i f. wnioskowanie,

więcej podobnych podstron