Tytuł książki
Tytuł rozdziału
CZĘŚĆ I
Autorzy
Treść / Zawartość
Pełne teksty:
![http://matwbn.icm.edu.pl/ksiazki/mon/mon18/mon1801.pdf [zdalny]](images/mime-icons/pdf.gif "mon1801.pdf")
Ścieżka wydawnicza (wydawca, książka, część, rozdział...)
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
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.