2012 10 06 31 45

Wybrane prawa logiki

Rozdzielność koniu n kej i względem alternatywy: pA(qVr)<=>(pAq)V(pAr)

Rozdzielność alternatywy względem koniunkcji: p V (q A r) <=> (p V q) A (p V r)

Pierwsze prawo De Morgana:

~(p V q) <=> ~p A ~q - zaprzeczeniem alternatywy jest koniunkcja zaprzeczeń

Drugie prawo De Morgana:

~(p A q) <=> ~p V ~q - zaprzeczeniem koniunkcji jest alternatywa zaprzeczeń

Wyszukiwarka

Podobne podstrony:
2012 10 06 29 55 Wybrane prawa logiki Przemienność alternatywy: pvq<=>qvp Łączność alternatyw
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 06 31 15 Definicja nominalna •    Definicja wyrazu W na gruncie słownika S.
2012 10 06 40 45 Definicja realna • Definicja przedmiotów (jednostkowych, klas
2012 10 06 45 07 Wnioskowanie dedukcyjne • Wnioskowanie, z którego przesłanek wniosek wynika logicz
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 16 59 45 Jednakie, pumano tych afiulch istnieje realna putnuła unądimia w tym miejscu teren
2012 10 23 31 57 POLITECHNIKA ŚWIĘTOKRZYSKA w KIELCACH Wydział Elektrotechniki. Automatyki i Inform
2010 10 06 26 45 pierwszy dyrektor Instytutu m^terOświe "eceni^ Publicznego
2010 10 06 31 14 . -likwidowany <był^ł^r*** I Polskiego)- zrusyfikowana.
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

więcej podobnych podstron