Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
P
CZĘŚĆI
9
Klasycznyrachuneklogiczny
Rachunekzdań
1*.Zdaniemnazwywamywlogicekażdąwypowiedźprawdziwą
lubfałszywą,itylkotakiewypowiedzi.Prawdziwośćifałszywość
przysługująwyłącznietymwyrażeniom,któregramatykanazywa
zdaniamioznajmującymi,tylkobowiemonemogąstwierdzać–zgodnie
lubniezgodniezrzeczywistością–zachodzenieokreślonychstanów
rzeczy.
Wyróżnijzdaniawsensielogicznymwprzytoczonymniżejtekście.
Niepowinniśmywychowywaćdzieciwprzekonaniu,żekłamstwojestzakazane
bezwzględnie,ponieważprzekonająsięrychło,żejestonowżyciuniezbędne,że
bywadobrodziejstwemiżeobejśćsiębezniegoniepodobna,aprzekonawszysię
otymzechcązwątpićwwartośćmoralnąprawdomównościjakiejkolwiek.Nie
uczmyichrównież,żekłamstwobywadobrewpewnychokolicznściach,
ponieważregułatakazbytłatwodajesięrozciągnąćnaniezliczonąilość
wypadków,ajejelastycznośćjestniebezpieczna.Należy,przeciwnie,utwierdzać
jewprzekonaniu,żekłamstwojestzłem,iżeniekiedytrzebakłamaćze
świadomościązła,abyzapobiecinnemu,dotkliwszemuzłu,żewięcwtakich
sytuacjachkłamstwo,choćmoralniedopuszczalnelubnakazane,nieprzestaje
byćzłem.Wychowanietakiejestuciążliwe,kłopotliwe,ryzykowneijedynie
zgodneznieodpartąintuicjąludzkichpotrzeb.
2.Spójnikomzdaniowym:,,nieprawda,że,,,,,i,,,
,,lub,,,,,jeżeli...,
to,,,,,zawszeitylkowtedy,gdy,,przyporządkowujesięwlogicekolejno
symbole:∼,∧,∨,→,≡;spójnikiteisymbolenazywamyfunktorami
–kolejno–negacji,koniunkcji,alternatywy,implikacjiirównoważności,
zdaniazaśzbudowanezaichpomocą–odpowiednio–negacją,
koniunkcją,alternatywą,implikacjąirównoważnością.Zastępując
spójnikizdanioweichsymbolicznymiodpowiednikami,azdania,które
spójnikitewiążą(czyliichargumenty)–symbolamizdaniowymi
wpostaciliterp,q,r,s,...(tak,bynamiejscuidentycznychzdańznalazły
sięidentycznelitery,anamiejscuróżnychzdań–różnelitery)
otrzymujemyschematzdaniawyrażonywjęzykurachunkuzdań.Tak
