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 » 15 paź 2017, o 22:03

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

Awatar użytkownika
szw1710
Gość Specjalny
Gość Specjalny
Posty: 18811
Rejestracja: 1 cze 2010, o 22:13
Płeć: Mężczyzna
Lokalizacja: Cieszyn
Podziękował: 6 razy
Pomógł: 3746 razy

Re: Tablice Schrödera

Post autor: szw1710 » 15 paź 2017, o 22:10

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 » 15 paź 2017, o 22:13

właśnie staram się to wygooglować, ale jakoś mi nie idzie teraz :<

Jan Kraszewski
Administrator
Administrator
Posty: 27286
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: Tablice Schrödera

Post autor: Jan Kraszewski » 15 paź 2017, o 22:39

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 » 15 paź 2017, o 22:45

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: 27286
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: Tablice Schrödera

Post autor: Jan Kraszewski » 15 paź 2017, o 22:54

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

JK

Awatar użytkownika
szw1710
Gość Specjalny
Gość Specjalny
Posty: 18811
Rejestracja: 1 cze 2010, o 22:13
Płeć: Mężczyzna
Lokalizacja: Cieszyn
Podziękował: 6 razy
Pomógł: 3746 razy

Re: Tablice Schrödera

Post autor: szw1710 » 15 paź 2017, o 23:05

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

ODPOWIEDZ