To tylko jedna z 297 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Elementy logiki i teorii mnogości Kazimierz Trzęsicki 2006 4 Wyd. II poprawione i zmienione. Wersja elektroniczna. Spis treści 1 Logika zdań 11 1.1 Pojęcie logiki . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Język logiki zdań . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2.1 Pojęcie języka logiki zdań . . . . . . . . . . . . . . . . 14 1.2.2 Definicja zdania . . . . . . . . . . . . . . . . . . . . . . 15 1.2.3 Język formalny . . . . . . . . . . . . . . . . . . . . . . 18 1.2.4 Język a metajęzyk . . . . . . . . . . . . . . . . . . . . 23 1.2.5 Rekurencyjny charakter definicji zdania . . . . . . . . . 25 1.2.6 Model i prawdziwość . . . . . . . . . . . . . . . . . . . 28 1.3 Rachunek zdań . . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.3.1 Tautologia . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.3.2 Wybrane tautologie klasycznej logiki zdań . . . . . . . 37 1.3.3 Tablice semantyczne . . . . . . . . . . . . . . . . . . . 41 1.3.4 Tautologia a zdanie logicznie prawdziwe . . . . . . . . 51 1.3.5 Spójniki prawdziwościowe . . . . . . . . . . . . . . . . 53 1.3.6 Funkcjonalna pełność . . . . . . . . . . . . . . . . . . . 56 1.3.7 Postacie normalne . . . . . . . . . . . . . . . . . . . . 58 1.3.8 Elektroniczna interpretacja spójników . . . . . . . . . . 61 1.3.9 Dowód w rachunku zdań . . . . . . . . . . . . . . . . . 64 1.3.10 Twierdzenie o dedukcji . . . . . . . . . . . . . . . . . . 67 1.3.11 Sprzeczne i niesprzeczne zbiory zdań . . . . . . . . . . 70 1.3.12 Wynikanie syntaktyczne a wynikanie semantyczne . . . 70 1.3.13 Reguły, schematy i prawa logiki . . . . . . . . . . . . . 72 1.3.14 Systemy logiki zdań . . . . . . . . . . . . . . . . . . . . 78 2 Logika predykatów 95 2.1 Język rachunku predykatów . . . . . . . . . . . . . . . . . . . 95 2.1.1 Dziedzina . . . . . . . . . . . . . . . . . . . . . . . . . 95 5 6 SPIS TREŚCI 2.1.2 Stałe i zmienne indywiduowe . . . . . . . . . . . . . . . 96 2.1.3 Litery funkcyjne . . . . . . . . . . . . . . . . . . . . . . 97 2.1.4 Term . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 2.1.5 Litery predykatowe . . . . . . . . . . . . . . . . . . . . 99 2.1.6 Formuła . . . . . . . . . . . . . . . . . . . . . . . . . . 100
... zobacz całą notatkę
Komentarze użytkowników (0)