Opis: PWN 1969, str. 202, stan db Wstęp Zadaniem tej książki jest zwięzłe przedstawienie najważniejszych wyników dotyczących klasycznego, tzn. dwuwartościowego, funkcjonalnie pełnego rachunku zdań. Ubocznym celem jest jednoczesna prezentacja dość ogólnych metod, które do tych wyników prowadzą, oraz aparatury pojęciowej, za pomocą której wyniki te dadzą się wypowiedzieć. Definicje pojęć użytych do wyrażenia własności klasycznego rachunku zdań sformułowane zostały w sposób umożliwiający ich stosowanie również do nieklasycznych rachunków zdaniowych. Dość liczne wzmianki o tych ostatnich mają jednak charakter tylko ilustracyjny i służą celom porównawczym. Przy takim określeniu celu tej książki trudno było niejednokrotnie zdecydować, czy pewne fakty dotyczące klasycznego rachunku zdań powinny zostać w niej omówione, czy też mogą być pominięte. Starałem się w takich sytuacjach kierować intuicyjną oceną roli, jaką te fakty pełnią w całej logice. Takie stanowisko wpłynęło też na ujęcie pewnych zagadnień, przy których przedstawieniu starałem się położyć nacisk na intuicje czysto logiczne.
|
randki |
CyberCiekawostki |
darmowe aliasy |
darmowe forum |
promocje |
opinie, testy, oceny
darmowa toplsta | reklama internetowa
darmowa toplsta | reklama internetowa