Zadanie z Logiki-nie wiem jak sie zabrac

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Gawadam
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 14 paź 2007, o 21:48
Płeć: Mężczyzna
Lokalizacja: Zory/Sheffield

Zadanie z Logiki-nie wiem jak sie zabrac

Post autor: Gawadam » 14 paź 2007, o 22:01

Witam, mam problem z zapewne bardzo prostym zadaniem z logiki - dokladniej nie wiem jak sie za nie zabrac, "z ktorej strony ugryzc" prosze o pomoc na jutro musze wiedziec jak sie takie rzeczy rozwiazywalo:

\(\displaystyle{ ((p \vee q) \rightarrow r) \longleftrightarrow (\neg p) \vee (\neg q) \vee r}\)

mianowicie rozbilem to na 8 przyadkow przyporzadkowywujac inne wartosci kazdemu zdaniu (P,Q,R). W 2 przypadkach wychodzi mi sprzecznosc:
mianowicie jest to
P=False;Q=True;R=False
oraz
P=True; Q=False; R=False

Legenda:
=> : implikacja
and : koniunkcja
v : alternatywa
= : wiadomo

Pozdrawiam.



Nie trzeba legend wystarczy zobaczyć do instrukcji.[dem]
Ostatnio zmieniony 14 paź 2007, o 22:41 przez Gawadam, łącznie zmieniany 2 razy.

Awatar użytkownika
dem
Gość Specjalny
Gość Specjalny
Posty: 596
Rejestracja: 5 sty 2005, o 21:02
Płeć: Mężczyzna
Lokalizacja: Rzeszów
Pomógł: 17 razy

Zadanie z Logiki-nie wiem jak sie zabrac

Post autor: dem » 14 paź 2007, o 22:42

Możesz to rozwalić sobie tabelką a możesz za pomocą funkcji wartościowania.To jak mamy to zrobić?Tabelka to chyba wiadomo.

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

Zadanie z Logiki-nie wiem jak sie zabrac

Post autor: Jan Kraszewski » 14 paź 2007, o 23:56

Chciałem zauważyć, że tabelka i to, co nazywasz funkcją wartościowania to dokładnie ta sama metoda...
Gawadam - dobrze myślisz. Wniosek - to zdanie nie jest tautologią (bo takie było, jak sądzę, pytanie, którego zapomniałeś napisać...).
JK

Gawadam
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 14 paź 2007, o 21:48
Płeć: Mężczyzna
Lokalizacja: Zory/Sheffield

Zadanie z Logiki-nie wiem jak sie zabrac

Post autor: Gawadam » 15 paź 2007, o 00:54

Skorzystalem z tabelki i znalazlem blad - poprostu caly czas zle podstawialem pod impikacje ..... chyba zbyt szybko chcialem to rozwiazac nie zwracajac uwagi na szczegoly. Teraz juz wszystko sie zgadza - dziekuj ze okazana pomoc i wyrozumialosc przy tak prostym zadaniu.

Pozdrawiam

ODPOWIEDZ