Udo od ij, że
 Żade ielo ie jest ą
I i sło , że  Każd ielo ie jest ą .
)da ie Żade ielo ie jest ą - podmiot ( jest prawdziwe.)  orzeczenie
Jest zgodne z faktycznym stanem rzeczy.
Do zasu odk ia Aust alii iologii eu opejskiej u aża o, że sz stkie ła ędzie ależą do gatu ku
ła ędzia iałego. sz stkie ła ędzie są iałe W Aust alii odk to za e ła ędzie.
P ta ie : Cz do zasu odk ia Aust alii zda ie sz stkie ła ędzie są iałe ło p a dzi e?
)god ie z ok eśle ie zda ia p a dzi ego po ższe p ta ie jest ó o aż e z astępują :
Cz do zasu odk ia Aust alii sz stkie ła ędzie ł iałe? iep a da
Dodaj , że p ta ia tego t pu są ó o aż e gd po opusz ze iu fo p tają ej uz ska zda ia
ó o aż e.
) poda h d ó h i fo a ji istot a ła t lko d uga, z li że Aust alii odk to za e ła ędzie.
Pie sza z i fo a ji p z dat a ła ó zas gd p ta ie iało posta  Cz do zasu odk ia
Australii zda ie ło u aża e za p a dzi e? TAK
W d ugiej e sji a p ta ie  z do zasu odk ia Aust alii u aża o, że sz stkie ła ędzie są
iałe.? Odpo iedz
TAK
Jeżeli przesła ki są prawdziwe, to a y pew ość że w iosek będzie prawdziwy.
)da ie fałsz e to takie, któ e ó i a o z ś le z ie jest p a dzi e.
)da ia, któ e o i z ie ó ią ie są p a dzi e a i fałsz e.
 oz aż zda ie
 Natu al satelita Me ku ego k ąż okół Me ku ego
Z pozoru jest to truizm. Problem w t , że Me ku ie a satelity zatem podane zdanie nie jest ani
p a dzi e a i fałsz e, gd ż ó i o i z .
Ostat ie zda ie ależ od óż i od pe h zda spe jal h t pu :
- ist ieje atu al satelita Me ku ego zda ie to ó i o ś ie ie, a ie o sateli ie. Jest fałsz e gd ż
ie jest zgod e z t o jest a ś ie ie. Nie po i a as z ieś jego fo a g a at z a. W az
 ist ieje ie ależ t akto a jako o ze ze ie p z pisują e e h p zed ioto i. Te z ot ie
dodaje e h p zed ioto i, ale fo a g a at z a ośta . :p
P )YKA
AD
< iesko zo oś
Nie a li z atu al ej któ a po iedziała a ile jest li z atu al h.
To zda ie ie jest a i p a dzi e a i fałsz e, gd ż : ie ist ieje iesko zo oś .
Nie ależ li zda fałsz h z kła st a i. Da a po iedz
da ego zło ieka jest kła st e
 po iedzią kła li ą gd da zło iek sądzi i a zej iż głosi da a po iedz
. )ate kła st o
oże po iedzią p a dzi ą gd kła ią a fałsz e p zeko a ia.  zadko się to zda za gd ż
z eguł kła ią a stup o e to ą pe oś o do asz h p zeko a . )au aż , że da a
po iedz
usta h jed ego zło ieka oże fałsze a usta h d ugiego zło ieka ie
nim.
Da a po iedz
da ego zło ieka jest sz ze a gd po iedz
ta jest zgod a z pogląda i tego
zło ieka. W t p z padku po iedz
sz ze a oże okaza się fałsz a gd po iadają ją
zło iek się po li, a fałsz e p zeko a ia. )au aż , że usta h jed ego zło ieka da a
po iedz
oże fałsze a usta h d ugiego oże sz ze a. Nie wszystkie wypowiedzi
podpadają pod katego ię kła st a ądz
po iedzi sz ze ej.
P zejdz
do uzasad ie ia zda ia :
 Każd ielo ie jest ą .
W t elu usi z alez
:
. )da ie ześ iej uzasad io e p zesła ki)
. Pokaza , że o ile p zesła ki są p a dzi e iosek też jest p a dzi .
Logika zaj uje się t lko d ugi pu kte , ie hodzi a o uzasad ie ie iosku t lko o pokaza ie,
że ika o z p zesła ek. Pie sz pu kt łą z ie z d ugi daje i g a a ję, że iosek jest
prawdziwy.
Nasz i p zesła ka i ędą
a każd ielo jest ssakie
żade ssak ie jest ą
P zesła ka  a a s oje uzasad ie ie o se a ji ż ia ielo ó . Jest to zda ie e pi z e.
P zesła ka   jest to ko e ja p z jęta iologii p z p o adze iu podziałó .
W celu udowodnienia wniosku wybieramy dowolnego wieloryba. Jeżeli oś st ie dzi o t
dowolnie wybranym wielorybie to od osi się to ędzie do każdego ielo a gd ż założ liś t lko
że to o aliś jest ielorybem.
Nie h ędzie a ielo e .
Na podsta ie p zesła ki  a ie , że X jest ssakie , i a podsta ie p zesła ki   ie , że X ie
jest ą .
Wsz stko o od osi się do X od osi się do eszt iksó .
A st aho aliś od sz stki h e h X poza tą, że jest o ielo e .
Póz
iej zau aż , że asze ozu o a ie jest iezależ e od słó ielo , ssak a .
)ależ łą z ie od k a t fikato ó i sło a  ie .
) a ze ie t h słó ło pot ze e a speł i pu kt pie sz , z li zape i p a dzi oś
p zesła ek.
Odpo iedz
a zada ie z logiki :
 Gd zap tał, z ta d oga iedze do stoli , z odpo iedział ś tak?
Na ostat i kładzie zali ze ie z o e ą  kład jest o o iązko .
dzisiaj o i ze ia
http://notatek.pl/logika-wyklady-prof-dr-hab-a-pietruszczak?notatka
WYKA
AD . . .
Poz aliś óż ego t pu zda ia któ e są ez a toś i. d ł to zda ia
. Któ e i ó ił o z ś, zego ie a p.  Natu al satelita Me ku ego k ąż okół
Me ku ego
< iesko zo oś ie a takiej li z jak iesko zo oś
Syn Andrzeja Pietruszczaka jest studentem.
. )da ia o p z szłoś i, któ e ie są zdete i o a e
p.  Jut o ędę Wa sza ie
)ali z do i h t ze i t p zda o posta i :
Każd S &
Jakiś S &
Gdzie poję ie ia S-em jest puste (czyli nie ma S-ów) .
W se sie jęz ka atu al ego te zda ia też ie ają a toś i gd ż do i zego się ie od oszą.
Może po iedzie , że zda ia fałsz e to takie, któ e ają a toś a ie są p a dzi e z li ie jest
tak, jak o e głoszą
W ate at e p z j uje się i ą i te p eta ję zda t ze iego t pu, mianowicie :
Jeśli poję ie ia S-e jest puste, to zda ie t pu :  Każd S jest &  jest p a dzi e.
A zda ie t pu :  Jakiś S &  jest fałsz e.
Jest to konwencja! oś te dese , lol
Dokład iej a to tłu a ze ie za po o ą i h ko e ji.
Należ pa ięta , że pie sz t p zda także ate at e ie a a toś i. Nie ol o uż a az
jed ostko h, któ e do i zego się ie od oszą. P zed uż ie az jed ostko ej ate at e
t ze a udo od i , że ta az a nie jest pusta.
W ate at e jest katego z zakaz uż a ia zda posta i :  Naj iększa li z a atu al a& .
< iesko zo oś
+ iesko zo oś = iesko zo oś -> To są zdu , ie ist ieje defi i ja iesko zo oś i, ie a
takiej liczby