tautologia i twierdzenie odwrotne

mikolajjgn · Post autor: **mikolajjgn** » 9 lis 2011, o 21:13

Prosze udowodnic, ze jesli choc jedna z formuł A, B jest tautologia rachunku
zdan, to jest nia równiez formuła \(\displaystyle{ A \vee B}\). Czy twierdzenie odwrotne jest równiez
prawdziwe? czy wie ktos jak sie za to zabara?
rozbiłem to tabelka ale nei wiem czy tak jest poprawnie bo jak sie zrobi tabelka to oczywiscie wychodz , ale nie wiem co z tym twierdzenie odwrotnym i czy z ta tabelka tak moge...

Post autor: **Jan Kraszewski** » 9 lis 2011, o 22:15

Tabelka nie jest dobra. \(\displaystyle{ A}\) i \(\displaystyle{ B}\) to nie są zmienne zdaniowe, tylko formuły, więc argumentować trzeba trochę subtelniej.

JK

mikolajjgn · Post autor: **mikolajjgn** » 9 lis 2011, o 22:22

a w jaki sposob?

Post autor: **Jan Kraszewski** » 9 lis 2011, o 22:34

A jaka jest definicja tautologii?

JK

mikolajjgn · Post autor: **mikolajjgn** » 9 lis 2011, o 22:42

"Formuła zdaniowa A języka L jest tautologią wtedy i tylko wtedy gdy formuła zdaniowa A jest prawdziwa przy każdej interpretacji języka L" ale mi nic to nie daje

Post autor: **Jan Kraszewski** » 9 lis 2011, o 22:48

Skąd Ty wytrzasnąłeś tę definicję? Chodziło mi o tautologię rachunku zdań.

JK

mikolajjgn · Post autor: **mikolajjgn** » 9 lis 2011, o 23:18

to nie wiem jaka jest da definicja,taka definicje mam w zeszycie .

Post autor: **Jan Kraszewski** » 9 lis 2011, o 23:48

A co to za wykład na I roku, na którym podają takie mało sensowne (z dydaktycznego punktu widzenia) definicje? Jesteś pewien, że nie miałeś nic o tautologiach rachunku zdań?

JK

DawidPura · Post autor: **DawidPura** » 10 lis 2011, o 07:40

Jest taka reguła wprowadzania alternatywy, to taki dowód formalny (który zdecydowanie nie jest tabelą prawdy formuły) ograniczałby się do dwóch punktów (moim zdaniem, proszę o korektę jeżeli się rozmijam z prawdą:
1. \(\displaystyle{ A \Rightarrow A \vee B}\) z reguły wprowadzania alternatywy
2. \(\displaystyle{ B \Rightarrow A \vee B}\) z reguły wprowadzania alternatywy

Tak mi się wydaje, co tu więcej można dodawać?

Post autor: **Jan Kraszewski** » 10 lis 2011, o 09:03

Wszystko zależy od tego, z czego możemy korzystać. W jakiej postaci znasz "regułę wyprowadzania alternatywy" (dokładna treść)? Czy dowodziłeś jej?

W tym dowodzie niekoniecznie chodzi o wykorzystanie jakiejś zasady, której dowód jest tak samo złożony jak ten, który mamy przeprowadzić.

JK

DawidPura · Post autor: **DawidPura** » 10 lis 2011, o 09:53

Reguła wygląda tak jak wszystkie inne reguły elementarne (przynajmniej tak nas uczą na przedmiocie zwanym logiką). I wygląda tak
\(\displaystyle{ \frac{A}{A \vee B}}\)
I raczej nie wymaga udowadniania, chociaż fakt, można.

Post autor: **Jan Kraszewski** » 10 lis 2011, o 13:33

Widzisz, dowód bardzo zależy od tego, co było u mikolajajgn na wykładzie, bo o tych samych rzeczach można opowiadać na bardzo wiele zupełnie różnych sposobów.

JK