Scan0001 (4)

Spis treści

Wstęp    7

I Logika matematyczna    9

1    Funktory i formuły    11

1.1    Zdanie............................. 11

1.2    Funktory zdaniotwórcze................... 11

1.2.1    Funktory jednoargumentowe (unarne)....... 12

1.2.2    Funktory dwuargumentowe (binarne)........ 12

1.3    Interpretacje ......................... 13

1.4    Logiczna równoważność................... 14

1.4.1    Równoważność i logiczna równoważność...... 14

1.4.2    Przykłady formuł logicznie równoważnych..... 15

1.5    Funkcjonalna pełność..................... 15

1.6    Postacie normalne (kanoniczne)............... 16

1.7    Konstruowanie postaci normalnych............. 16

1.7.1    Metoda przekształceń................ 17

1.7.2    Metoda tablic wartości logicznych ......... 18

1.8    Zadania............................ 18

2    Tautologie. Wynikanie logiczne. Systemy dowodzenia 21

2.1    Tautologie........................... 21

2.2    Badanie tautologii...................... 22

2.2.1    Metoda zero-jedynkowa............... 22

2.2.2    Skrócona metoda zero-jedynkowa.......... 22

2.2.3    Metoda przekształcenia do postaci normalnej ...    23

2.3    Wynikanie logiczne...................... 23

2.3.1    Reguły wnioskowania................. 24