Zadanie 1
przyjazd – nazwa prosta, abstrakcyjna;
ciężar – nazwa prosta, abstrakcyjna;
zapach – nazwa prosta, abstrakcyjna;
Zadanie 2
A-nie student
B- nie sportowiec
C- samochód
A B C
(nie mam zielonego pojęcia czy to jest dobrze ;) )
Zadanie 3
Nie wiem, czy to wyrażenie jest zdaniem w sensie logicznym.
Nie wiem, czy- funktor
Jest- funktor
Zadanie 4
{[(p→q)˄(q˅r)]˄(p˄r)}→q
(3,4,7,8 sprawdzić)
3. {[(P→F)˄(F˅P)]˄(P˄P)}→F
{[F˄P]˄P}→F
{P˄P}→F
P→F
F
Podany schemat nie jest tautologią.
Zadanie 5.
"Skoro rak jest chorobą, a rak żyje w wodzie, to choroby mogą żyć w wodzie"
Zadanie 6.
To nieprawda, że niektórzy studenci są przestępcami.
(SiP)’- zdanie szczegółowo twierdzące
(SiP)’→SoP (podprzeciwieństwo)
Jeżeli to nieprawda, że niektórzy studenci są przestępcami to niektórzy studenci nie są przestępcami.
(SiP)’→ (SaP)’ ( podrzędność)
Jeżeli to nieprawda, że niektórzy studenci są przestępcami to nieprawda, że każdy student jest przestępcą.
(SiP)’→ SeP (sprzeczność)
Jeżeli to nieprawda, że niektórzy studenci są przestępcami to żaden student nie jest przestępcą
Zadanie 7.
Żaden student nie jest nieletni. Niektórzy studenci uprawiają letnie dyscypliny sportowe.
PaM
SoM
SeP
Jeżeli każdy nieletni jest osobą uprawiającą letnie dyscypliny sportowe i niektórzy studenci są osobami uprawiającymi letnie dyscypliny sportowe to żaden student nie jest nieletni
Lub
MaP
MeS
SeP
Jeżeli każda osoba uprawiająca letnie dyscypliny sportowe jest nieletnia i żadna osoba uprawiająca letnie dyscypliny sportowe nie jest studentem to żaden student nie jest nieletni.
( Mi bardziej normalna się wydaje odp 2 ale u niego to nic nie wiadomo ;/ )
Zadanie 8.
Niektóre produkty są słodkie, bo cukier jest słodki.
MaP
SiM
SoP
( Jeżeli każda rzecz słodka jest cukrem i niektóre produkty są słodkie to niektóre produkty nie są cukrem.)