kwadrat logiczny

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
pentel
Użytkownik
Użytkownik
Posty: 113
Rejestracja: 19 lis 2006, o 14:12
Płeć: Mężczyzna
Lokalizacja: POLAND
Podziękował: 24 razy

kwadrat logiczny

Post autor: pentel »

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
Awatar użytkownika
scyth
Użytkownik
Użytkownik
Posty: 6392
Rejestracja: 23 lip 2007, o 15:26
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 3 razy
Pomógł: 1087 razy

kwadrat logiczny

Post autor: scyth »

Rysujesz to tak:
d)
\(\displaystyle{ \begin{tabular}{c|c||c|c}
p & q & q p & q 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.
pentel
Użytkownik
Użytkownik
Posty: 113
Rejestracja: 19 lis 2006, o 14:12
Płeć: Mężczyzna
Lokalizacja: POLAND
Podziękował: 24 razy

kwadrat logiczny

Post autor: pentel »

a dobrze to zapisałem ?
Awatar użytkownika
scyth
Użytkownik
Użytkownik
Posty: 6392
Rejestracja: 23 lip 2007, o 15:26
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 3 razy
Pomógł: 1087 razy

kwadrat logiczny

Post autor: scyth »

relacja prosta: \(\displaystyle{ p q}\)
relacja przeciwna: \(\displaystyle{ \neg p q}\)
relacja odwrotna: \(\displaystyle{ q p}\)
relacja przeciwstawna: \(\displaystyle{ \neg q 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.
ODPOWIEDZ