2012 10 06 29 55

Wybrane prawa logiki

Przemienność alternatywy: pvq<=>qvp

Łączność alternatywy: (pVq)Vr<=>pv(qVr)

Przemienność koniunkcji:

P A q <=> q A p

Łączność koniunkcji: (pAq)Ar&_pA(_qAr)

Wyszukiwarka

Podobne podstrony:
2012 10 06 31 45 Wybrane prawa logiki Rozdzielność koniu n kej i względem alternatywy:
2012 10 06 33 11 Wybrane prawa logiki Zaprzeczenie implikacji: £ ~(p =* q) p A ~q Zastąpienie równo
2012 10 06 27 44 Pra wo logiki Zdanie zawsze prawdziwe - na mocy ^^wofśj struktury niezależnie od l
2012 10 21 29 55 W orking Capital =* current assets - current llibilito = cash + accounts rec. + im
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 05 30 29 55 ir rflWbgfMfCfcemń, Semestr n 2011 / 201 5**v    — ^Jm>c i N-łWs
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 22 11 Rachunek zdań Zdanie wewnętrznie kontradyktoryjne - zdanie fałszywe ze względu na
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,
2012 10 06 58 13 Wnioskowanie indukcyjne Indukcja eliminacyjna - wnioskowanie, w którym jedna z prz
2012 10 06 03 46 „Koło nauki" (za: Babbie 2009) INDUKCJA obserwacje

więcej podobnych podstron