Elementy Logiki - skrypt

Nasza ocena:

3
Pobrań: 343
Wyświetleń: 1533
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Elementy Logiki - skrypt - strona 1 Elementy Logiki - skrypt - strona 2 Elementy Logiki - skrypt - strona 3

Fragment notatki:

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)

Zaloguj się, aby dodać komentarz