8416072547

Spis treści

A.    Informacje ogólne    ix

A. 1. Program wykładu....................................... ix

A.2. Zapisy na zajęcia....................................... ix

A.3. Obsada zajęć i konsultacje................................ x

B.    Literatura    xi

C.    Zasady prowadzenia i zaliczania ćwiczeń    xiii

C.l. Wstęp ............................................... xiii

C. 2. Szczegółowe zasady prowadzenia zajęć...................... xiv

D.    Egzaminy    xix

D. l. Egzamin zasadniczy..................................... xx

D. 1.1.    Egzamin połówkowy.............................. xxi

D. 1.2.    Egzamin końcowy................................ xxi

D.2. Egzamin poprawkowy................................... xxi

0.    Zadania na dobry początek    1

1.    Rachunek zdań i rachunek kwantyfikatorów    5

1.1.    Składnia rachunku zdań.................................. 5

1.2.    Wartości logiczne i znaczenie formuł zdaniowych............... 5

1.2.1.    Metoda zero-jedynkowa............................ 7

1.2.2.    Skrócona metoda zerojedynkowa..................... 7

1.2.3.    Równoważność formuł............................. 11

1.2.4.    Lemat o podstawianiu ............................. 14

1.3.    Formalizacja rozumowań w języku rachunku zdań.............. 15

1.4.    Własności formuł zdaniowych............................. 16

1.5.    Postaci normalne formuł zdaniowych........................ 19

1.5.1.    Usuwanie symbolu negacji.......................... 19