Tablice Schrödera
Tablice Schrödera
Jak wygląda metoda tablic Schrödera do sprawdzania twierdzeń rachunku zdań? Mogę prosić o jakiś przykład takiej tablicy/przykład zadania?
Re: Tablice Schrödera
A nie chodzi tu zwyczajnie o metodę tabelkową sprawdzania czy dana formuła jest tautologią rachunku zdań? Coś mi się wydaje, że tak.
-
- Administrator
- Posty: 34128
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5192 razy
Tablice Schrödera
z zadan do wykonania na mojej uczelni.
Zadanie 1. Korzystając z metody tablic Schrödera lub metody "nie wprost" sprawdzić czy następujące
formuły zdaniowe są twierdzeniami rachunku zdań:
(a) \(\displaystyle{ [p \Rightarrow (q \Rightarrow r)] \Leftrightarrow [q \Rightarrow (p \Rightarrow r)]}\)
itd...
Zadanie 1. Korzystając z metody tablic Schrödera lub metody "nie wprost" sprawdzić czy następujące
formuły zdaniowe są twierdzeniami rachunku zdań:
(a) \(\displaystyle{ [p \Rightarrow (q \Rightarrow r)] \Leftrightarrow [q \Rightarrow (p \Rightarrow r)]}\)
itd...
Ostatnio zmieniony 15 paź 2017, o 22:53 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeX-a. Proszę zapoznaj się z instrukcją: http://matematyka.pl/latex.htm .
Powód: Brak LaTeX-a. Proszę zapoznaj się z instrukcją: http://matematyka.pl/latex.htm .
-
- Administrator
- Posty: 34128
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5192 razy
Re: Tablice Schrödera
Chodzi zatem o tabelki zerojedynkowe, które chyba tylko Twój wykładowca nazywa "tablicami Schrödera".
JK
JK