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