CZĘŚĆ I

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

Twórcy

• Książka: Logika matematyczna
• Kolekcja: DML-PL