Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1.ORGANON
2.Ztychpięciumacierzykorzystasięprzyzero-jedynkowejmetodzie
weryfikacjitautologii.Abysprawdzić,czyzdanie
(pąq)!ąq!
jesttautologią,należywyodrębnićwszystkiezdania,zktórychzbudowane
jestdowodzonezdanie.Wnaszymprzypadkubędątozdania:
p,q,pąq,(pąq)!,q!,
(pąq)!ąq!.
Nagłówkikolumnmacierzy-szablonu
p
0
0
1
1
q
0
1
0
1
pąq
1
1
0
1
(pąq)!
0
0
1
0
q!
1
0
1
0
(pąq)!ąq!
1
1
1
1
oznaczonesąwyróżnionymizdaniami.Ponieważmamytudwazdaniaato-
mowepiq,więcmacierzmaczterywiersze.Kolejnośćkolumnmożebyć
dowolna,jednakkolejnośćwpływanaprzejrzystość.Każdezdaniezłożone
maswójnaturalnyporządek.Ostatniakolumnapowinnabyćoznaczona
dowodzonymzdaniem.Jeżelipowypełnieniutablicyotrzymamywostatniej
kolumniesamejedynki,todowodzonezdaniejesttautologią.Tenwstępny
etappracyjestnajważniejszyprzyzero-jedynkowejmetodzieweryfikacji
zdań.Wartościlogicznezdaniomatomowymnadajemytak,abynumerowa-
łyonewierszeszablonu.Numerytesąnaturalniezapisanewsystemie
dwójkowym:zero00,jeden01,dwa10,trzy11.Jeślisątrzyzdaniaatomo-
we:p,q,r,wtedymamyosiemnumerówwierszy:zero000,jeden001,dwa
010,trzy011,cztery100,pięć101,sześć110isiedem111.
3.Tautologiajesttwierdzeniemklasycznegorachunkuzdań.Jesttozda-
niezawszeprawdziwe,ajegoprawdziwośćwynikazestruktury,zsyntaksy,
aniezeznaczenia.Wypowiedźtautologicznajestprawdąbanalną,bezin-
formacji,wrodzaju:WarszawajeststolicąPolskilubWarszawaniejest
stolicąPolski.Jeśliumiejętnośćwykorzystywaniatautologiiwżyciupoli-
tycznymjestcennąsztuką,totymbardziejniemanaukibezprawwniosko-
wania.Wkażdymprocesiesądowymkorzystasięprzynajmniejzkilkupraw
logicznych.Tautologiesąrównieżskładnikiemkultury.Podajemyniżej
14
