szukanie zaawansowane
 [ Posty: 4 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 13 wrz 2007, o 14:46 
Użytkownik

Posty: 113
Lokalizacja: POLAND
Witam

Mam takie zadanie: Sprawdź które z par implikacji są sobie równe

d) odwrotna z przeciwną
e) odwrotna z przeciwstawną
f) przeciwna z przeciwstawną

Nie wiem czy dobrze rozwiazałem

d) q=>p <=> (zaprzeczenie)q =>(zaprzeczenie)p
e)q=>p <=> (zaprzeczenie)p => )zaprzeczenie)q
f) (zaprzeczenie) p => (zaprzeczenie)q <=> (zaprzeczenie) q => (zaprzeczenie)p

o ile to jest dobrze, to muszę to przedstawić w tabeli

d) p|q|zap. q| zap. p| q=>p| zap.q => zap. p| całość|

dalej nie wiem. Jak gdzies zrobilem bład proszę poprawic
Góra
Mężczyzna Offline
PostNapisane: 13 wrz 2007, o 14:54 
Gość Specjalny
Avatar użytkownika

Posty: 6368
Lokalizacja: Warszawa
Rysujesz to tak:
d)
\begin{tabular}{c|c||c|c}
p & q & q \Rightarrow p & \neg q \Rightarrow \neg p \\ \hline
0 & 0 & 1 & 1 \\
0 & 1 & 0 & 1 \\
1 & 0 & 1 & 0 \\
1 & 1 & 1 & 1
\end{tabular}
Czyli nie jest to prawda.
Następne podobnie.
Góra
Mężczyzna Offline
PostNapisane: 13 wrz 2007, o 15:14 
Użytkownik

Posty: 113
Lokalizacja: POLAND
a dobrze to zapisałem ?
Góra
Mężczyzna Offline
PostNapisane: 14 wrz 2007, o 07:11 
Gość Specjalny
Avatar użytkownika

Posty: 6368
Lokalizacja: Warszawa
relacja prosta: p \Rightarrow q
relacja przeciwna: \neg p \Rightarrow \neg q
relacja odwrotna: q \Rightarrow p
relacja przeciwstawna: \neg q \Rightarrow \neg p

Więc mój błąd - w tablece jest rozwiązanie do punktu e (zasugerowałem się Twoim rozumowaniem, choc piszesz, że nie wiesz czy dobrze, przepraszam za pomyłkę).

Mam nadzieję, że z pozostałymi zadaniami sobie już poradzisz.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 4 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 kwadrat logiczny - zadanie 2  daga172a  8
 Operator logiczny  Tomek_Z  1
 Dowód logiczny.  Anonymous  2
 i znów kwadrat logiczny - prawdziwe a może fałszywe ...  daga172a  3
 logiczny zapis dowodów  immun  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com