Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
WYKŁAD1
Rachunekzdań.Formyzdaniowe.
Prawadziałańnakwantyfikatorach
Jednązcechgłupstwajestlogika.
HUGOSTEINHAUS
1.1.Pojęciezdania
Zdaniewlogicejestpojęciempierwotnym.Wklasycznejlogicematematycznej
zdaniomprzypisujesięjednązdwóchwartościlogicznych:prawda(1),fałsz(0).
Przykładyzdań:
1<2,
2·3=5,
3jestliczbąparzystą.
Wyrażenia:
Czyjestpogoda?
Niechżyje!
Jestemkłamcą.
niezdaniamiwsensielogiki.
Podobniejakliczbywalgebrze,zdaniawlogicematematycznejoznaczamyliterami:
p9q9r959...
Uwaga1.Istniejąlogikinieklasyczne,wktórychmamywięcejniżdwiewartości
logiczne.totzw.logikiwielowartościowe.Ichtwórcamisą,niezależnieodsiebie,Jan
Łukasiewicz(1920)(1)orazEmilLeonPost(1921).Donieklasycznychlogiknależąnp.
logikaintuicjonistycznaBrouweraorazlogikamodalnaLewisa.
(2)
(1)JanŁukasiewicz(1879–1956)studiowałweLwowiepodkierunkiemKazimierzaTwardowskiego.
Tamuzyskałdoktoratihabilitowałsię,zostającdocentemnaUniwersytecieJanaKazimierza.W1944
rokuwyjechałzPolski,osiadającostateczniewIrlandii,gdzieobjąłkatedręlogikiwDublinie.Pewne
osiągnięcianaukoweŁukasiewiczawykorzystywanepraktycznie;np.tzw.symbolikabeznawiasowa
(symbolikapolska)jestszerokostosowanawjęzykachprogramowaniamaszyncyfrowych.
(2)Znak
wskazujekoniecdowodulubnumerowanejuwagialboprzykładu.