plik


ÿþWPROWADZENIE DO FILOZOGII 15.12.2014 WykBad Formalizacje  zapis zdaD w formie logicznej. Umo|liwia to lepsza i szybsz ocen zdaD, czy jest ono logicznie prawdziwe czy faBszywe. W klasycznym rachunku zdaD (KRZ) wyró|nia si dwie kategorie zmiennych Zmienne zdaniowe (litery) Spójniki logiczne o Negacja - ~ (nie) o Koniunkcja - ^ o Alternatywa - v o Implikacja - ’! o Równowa|nik - a" PrzykBady: 1. KONIUNKCJA Dzisiaj [wieci sBoDce i jest ciepBo p ^ q 0 0 0 0 0 1 1 0 0 1 1 1 0  faBsz 1  prawda Koniunkcja jest prawdziwa tylko wtedy kiedy oba czBony s prawdziwe 2. ALTERNATYWA Dzisiaj [wieci sBoDce lub jest ciepBo p v q 0 0 0 0 1 1 1 1 0 1 1 1 Alternatywa jest prawdziwa je[li przynajmniej jeden z czBonów jest prawdziwy 3. IMPLIKACJA Je[li dzisiaj [wieci sBoDce to jest ciepBo. p ’! q 0 1 0 0 0 1 1 1 0 1 1 1 Implikacja jest prawdziwa je[li: oba zdania s faBszywe oba zdania s prawdziwe pierwsze zdanie jest prawdziwe a drugie faBszywe Tylko w sytuacji kiedy poprzednik jest prawdziwy a nastpnik faBszywy caBa implikacja jest faBszywa. 4. ROWNOWA{NIK Wtedy i tylko wtedy gdy [wieci sBoDce jest ciepBo p a" q 0 1 0 0 0 1 1 0 0 1 1 1 CaBa równowa|no[ jest wtedy prawdziwa je[li oba czBony sa takie same , oba sa prawdziwe lub oba s faBszywe 5. NEGACJA Jedyny ze spójników który nie Bczy poprzednika z nastpnikiem Jest ciepBo. ~ p 0 1 1 0 Je[li nie ma przeczenia zdanie jest prawdziwe Je[li zaprzeczamy zdaniu  zdanie jest faBszywe 6. PODSUMOWANIE p q ^ v ’! a" 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1

Wyszukiwarka

Podobne podstrony:
WPROWADZENIE DO PEDAGOGIKI w 12 2014
ANTROPOLOGIA FILOZOFII w 12 2014
WPROWADZENIE DO SOCJOLOGII cw 2 12 2014
Gilson Etienne Tomizm Wprowadzenie do filozofii sw Tomasza z Akwinu
WPROWADZENIE DO PEDAGOGIKI w 8 12 2014
WPROWADZENIE DO SOCJOLOGII w 9 12 2014
WPROWADZENIE DO PEDAGOGIKI w 1 12 2014
WPROWADZENIE DO NAUK O RODZINIE w 10 2014
WPROWADZENIE DO NAUK O RODZINIE ćw 10 2014
12 IST Wprowadzenie do integracji

więcej podobnych podstron