Tytuł książki
Tytuł rozdziału
CZĘŚĆ I
Autorzy

Abstrakty
PL
ROZDZIAŁ I. WIADOMOŚCI WSTĘPNE
§ 1. Wstęp
§ 2. Zmienne funkcje zdaniowe
ROZDZIAŁ II. RACHUNEK ZDAŃ
§ 1. Negacja
§ 2. Koniunkcja
§ 3. Alternatywa
§ 4. Implikacja
§ 5. Równoważność
§ 6. Uwaga dotycząca symboliki
§ 7. Dalsze funktory zdaniotwórcze. Związki między funktorami
§ 8. Tautologie rachunku zdań
§ 9. Niektóre ważne tautologie
§ 10. Tautologie algebro-logiczne
ROZDZIAŁ III. KWANTYFIKATORY
§ 1. Określenia i przykłady
§ 2. Zastosowania kwantyfikatorów do zapisywania twierdzeń matematycznych. Kwantyfikatory o ograniczonym zakresie
§ 3. Reguły wnioskowania. Tautologie
§ 4. Przykłady tautologii
§ 5. Tautologie dotyczące rozdzielczości
§ 1. Wstęp
§ 2. Zmienne funkcje zdaniowe
ROZDZIAŁ II. RACHUNEK ZDAŃ
§ 1. Negacja
§ 2. Koniunkcja
§ 3. Alternatywa
§ 4. Implikacja
§ 5. Równoważność
§ 6. Uwaga dotycząca symboliki
§ 7. Dalsze funktory zdaniotwórcze. Związki między funktorami
§ 8. Tautologie rachunku zdań
§ 9. Niektóre ważne tautologie
§ 10. Tautologie algebro-logiczne
ROZDZIAŁ III. KWANTYFIKATORY
§ 1. Określenia i przykłady
§ 2. Zastosowania kwantyfikatorów do zapisywania twierdzeń matematycznych. Kwantyfikatory o ograniczonym zakresie
§ 3. Reguły wnioskowania. Tautologie
§ 4. Przykłady tautologii
§ 5. Tautologie dotyczące rozdzielczości
Słowa kluczowe
Twórcy
Książka
Strony
Bibliografia
Kolekcja
DML-PL
Identyfikator YADDA
bwmeta1.element.zamlynska-31396888-4853-4f97-ab1e-ef917c6383c1
Identyfikatory