logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 63

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

180490
postów: 1
2010-11-16 19:25:34

Witam bardzo proszę o pomoc jakąś życzliwą osobę mam takie zadanie wiem o tym, że może dla kogoś wydać się banalne ale ja nie ogarniam jakoś:

Posługująć się znanymi prawami rachunku zdań, wyprowadzić następujące tautologie:
a.
[(p$\wedge$ q)$\Rightarrow$ r] $\Leftrightarrow$ [p$\Rightarrow$(q$\Rightarrow$r)]
b.
(p $\Rightarrow$ q) $\Rightarrow$ [(p$\wedge$ r) $\Rightarrow$ (q $\wedge$ r)]

znam prawa logiczne ale nie potrafię ich zastosować czy mógł by mi ktoś wytłumaczyć to tak na chłopski rozum co i jak po kolei robić żeby było dobrze? Bardzo proszę o pomoc[/quote]

znam prawa logiczne ale nie potrafię ich zastosować czy mógł by mi ktoś wytłumaczyć to tak na chłopski rozum co i jak po kolei robić żeby było dobrze? Bardzo proszę o pomoc

Wiadomość była modyfikowana 2010-11-16 19:26:10 przez 180490

palacios
postów: 1
2010-11-20 22:01:41

Ja bym zrobił tak:
Stworzył tabelkę prawd dla p,q,r
1.p=1,q=1,r=1 ; 2.p=1,q=1,r=0 ;3.p=1,q=0,r=1 ;4.p=0,q=1,r=1
5.p=1,q=0,r=0; 6.p=0,q=1,r=0 ; 7.p=1,q=0.r=1 ;8.p=0,q=0, r=0
I teraz zrobić działania do tych 8 możliwości. Jeśli wynik będzie 1 we wszystkich 8 działaniach to tautologia sie zgadza.



strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj