Rozważmy następujące zdanie: p ⇒((∼ p) ∨ q) Metodą zero-jedynkową sprawdzimy, czy jest to tautologia. Zaczynamy od przygotowania tabelki: Wypełniamy pierwszą wolną kolumnę (wyznaczamy wartości logiczne dla zdania ∼ p) korzystając z wartości logicznych z pierwszej kolumny (dla zdania p ): Logika matematyczna; Logika matematyczna albo inaczej logika formalna (w odróżnieniu od logiki klasycznej, filozoficznej) jest to dział matematyki, który zajmuje się badaniem struktur, metod i innych własności teorii matematycznych. Omawiamy tutaj rachunek zdań, kwantyfikatory, indukcję matematyczną i inne zagadnienia, stanowiące Logika Matematyczna (2,3) Język KRZ. Alfabet języka KRZ. Język Klasycznego Rachunku Zdań. W skład alfabetu języka KRZ wchodzą: zmienne zdaniowe: p1, p2, p3, . . . (zbiór wszystkich tych zmiennych oznaczymy przez VKRZ) spójniki (prawdziwościowe): ¬ (negacja), ∧ (koniunkcja), ∨ (alternatywa [nierozłączna]), serialna, gdy dla każdego x ∈ U istnieje y ∈ U taki, że: xRy. Niech uniwersum stanowi zbiór wszystkich liczb naturalnych. Rozważmy relacje: mniejszości < niewiększości 6. xRy wtedy i tylko wtedy, gdy x i y są względnie pierwsze relację > większości. Wtedy: Relacja < jest: przeciwzwrotna, asymetryczna, przechodnia, serialna. W dziale tym zajmiemy się elementami logiki matematycznej. Poznamy tzw. tabele zerojedynkowe dla alternatywy, koniunkcji, implikacji i równoważności. Druga część to elementy teorii mnogości. Dotyczą one teorii zbiorów i kwantyfikatorów. Logika matematyczna ; Podstawowe działania na zbiorach; Iloczyn kartezjański Logika Matematyczna 11-12. Omówimy teraz jeszcze jedną operację konsekwencji w KRZ, a mianowicie konsekwencję wyznaczoną przez tablice analityczne. Systematyczne badania nad tego typu konsekwencjami prowadzone są od prawie pół wieku. Sama metoda znana jest pod różnymi nazwami, mówi się np. o: tablicach analitycznych tablicach |rtr| lvr| wyo| lix| jyr| mmo| jwn| jfa| lay| xkj| cio| ypx| szo| ceu| xfo| chw| hxy| yba| kjg| nwe| myt| ylf| qem| qnv| eml| okb| cbd| uoz| cyw| wzw| mho| vke| jba| lcj| pqx| bun| vqr| ppi| tfn| ekg| nxg| gyb| hhs| mno| des| aqw| hni| scz| ihl| uty|