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
kwadrat logiczny
- scyth
- 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
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.
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.
- scyth
- 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
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.
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.