Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1.ORGANON
orazalternatywę,koniunkcję,implikacjęirównoważnośćzdańpiq.Dla
przykładuzapiszemykilkatautologiiwnotacjipolskiej,stosowanejpo-
wszechniewinformatyce.PierwszeprawodeMorganaprzyjmujepostać
ENApqCNpNq,prawoDunsuScotusa–IpINpq,prawoniesprzeczności–
NCpNporazprawodedukcji–ICIpqpq.Symbolikatajestoszczędna–nie
używasięnawiasów.Służyjednakdobrzegłówniekomputerompozbawio-
nymintuicji,alezatownagrodęobdarzonympojemnąiszybkąpamięcią.
Funktorrównoważności–ekwiwalentność–oznaczonoznakiemrówno-
ści.Niejesttojednakrówność.Zdaniarównoważnemajątakąsamąwartość
logiczną,alezwykleróżnykształt.Czymjestidentyczność?Niemadwóch
przedmiotówrównych.Wsamejnazwiedwazawartajestodmienność.
Przedmiotyidentyczne,zfilozoficznegopunktuwidzenia,mająwszystkie
własnościtakiesame,czylijesttojedenprzedmiottylkooznaczonyróżnymi
nazwami.NazwyWarszawaorazstolicaPolskidenominujątosamomiasto.
Podobnieprzedmiotnazwanysymbolem2orazlog100jesttąsamąliczbą.
Równościspotykanewmatematycezwykleniesąidentycznościamiwfilo-
zoficznymsensie,nieodnosząsiędoróżnychnazwjednejrzeczy.Równości
matematycznemającharakterekwiwalentności:dwiepołówkisącałością
1
2
+±
1
2
1
.
A=
(
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k
101024011
0
2
4
5
6
7
8
9
1
3
256001
512010
128010
16110
32111
64110
2110
4011
8001
1110
N
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
)
.
5.Metodazero-jedynkowaweryfikacjizdańlogikiklasycznejjestwtedy
zorganizowanaiskuteczna,gdyposługujemysięzapisemdwójkowymliczb
naturalnych.Kolejnewierszemacierzysprawdzającejnumerujemyliczbami
18
