- zakresb definieiisa i defmiendum nie powinny sie wzajemnie wykluczać -definicja powinna byc w miarę krotka
- unikamy definicji negatywnych
4. Zdanie sprzeczne i podporządkowane do zdania" Wszystkie koty sa ssakami SaP Wszystkie koty są ssakami.
sprzeczne SoP Żaden kot nie jest ssakiem, popdorzadkowane SiP Niektóre koty są ssakami.
5. Jakie reguły poprawności narusza sylogizm: Map
Sam
SaP Wszystko git majonez;P
6.Czy schemat jest tautologia?? (p Aq) <=> ( p -> ~ q) niee p| q| p*q| ~q| p-> ~q| (pAq)<=>(p->~q) 1110 0 ->o <-
7. Sformalizuj zdania: Niektórzy studenci nie sa politologami 3x(SxA~Px)
Wszyscy studenci sa inteligentni Vx(Sx->Ix)
8. C0 to jest "błąd wielu pytań"i podaj przykłady
Jest to złożenie w jednym pytaniu dwóch pytań. Na tak postawione pytanie nie można dać poprawnej odpowiedzi. Pytania trzeba rozdzielić. Np. Czy zabronione są rzeczy szlachetne i niegodziwe.
1. Czym się zajmują: semantyka, syntaktyka i pragmatyka?
Semantyka - to nauka o znaczeniu słowa lub znaku.
Syntaktyka - nauka o poprawnym budowaniu zdań, gramatyka znaków.
Pragmatyka - nauka o używaniu znaków w szerszym kontekście.
2. Napisz logicznie zasadę niesprzeczności.
~(pA~q)
3. Jaką definicją jest definicja: „Dom jest to budynek mieszkalny.”? Scharakteryzuj ten typ definicji.
Definicja realna - odpowiada na pytanie: co to za przedmiot? Jest wypowiedzią w języku pierwszego stopnia.
(Nie w metajęzyku)
4. Napisz zdanie sprzeczne oraz zdanie przeciwne do zdania: Psy są ssakami.
SaP Psy są ssakami. (Wszystkie psy są ssakami)
sprzeczne SoP - Niektóre psy nie są ssakami, przeciwne SeP - Żaden pies nie jest ssakiem.
5. Dokonaj obwersji zdań: SaP SeP SaP - Se~P
SeP - Sa~p
Obwersja zmienia jakość zadnia i dochodzi zaprzeczenie.
6. Przedstaw graficznie metodą Venna lub Eulera sylogizm Barbara figura 1 Trochę to trudne. Nie wiem jak tu wkleić kółka;/
7. Czy schemat jest tautologią? (pAq)ó(nie-p lub nie-q)
Ma chyba być (pAq) -> (~pv~q)
1 11 0 100
Jest tautologią.
Można to zrobić za pomocą tabelki, ale nie wiem ja ja tu wkleić;/ ten sposób jest szybszy;)