Tablice Schrödera

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
kloda
Użytkownik
Użytkownik
Posty: 22
Rejestracja: 3 gru 2015, o 20:04
Płeć: Mężczyzna
Lokalizacja: Tluszcz

Tablice Schrödera

Post autor: kloda »

Jak wygląda metoda tablic Schrödera do sprawdzania twierdzeń rachunku zdań? Mogę prosić o jakiś przykład takiej tablicy/przykład zadania?
szw1710

Re: Tablice Schrödera

Post autor: szw1710 »

A nie chodzi tu zwyczajnie o metodę tabelkową sprawdzania czy dana formuła jest tautologią rachunku zdań? Coś mi się wydaje, że tak.
kloda
Użytkownik
Użytkownik
Posty: 22
Rejestracja: 3 gru 2015, o 20:04
Płeć: Mężczyzna
Lokalizacja: Tluszcz

Tablice Schrödera

Post autor: kloda »

właśnie staram się to wygooglować, ale jakoś mi nie idzie teraz :<
Jan Kraszewski
Administrator
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

Post autor: Jan Kraszewski »

A skąd wziąłeś tę nazwę?

JK
kloda
Użytkownik
Użytkownik
Posty: 22
Rejestracja: 3 gru 2015, o 20:04
Płeć: Mężczyzna
Lokalizacja: Tluszcz

Tablice Schrödera

Post autor: kloda »

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...
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 .
Jan Kraszewski
Administrator
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

Post autor: Jan Kraszewski »

Chodzi zatem o tabelki zerojedynkowe, które chyba tylko Twój wykładowca nazywa "tablicami Schrödera".

JK
szw1710

Re: Tablice Schrödera

Post autor: szw1710 »

Nie chciałem wyjść na niedouczonego, ale też nigdy nie słyszałem tej nazwy.
ODPOWIEDZ