Witam. Bardzo proszę o sprawdzenie zaprzeczenia tego zdania, bo sam sobie nie moge poradzic
\(\displaystyle{ [(p q) (p r)] (q r)}\)--- zdanie prawdziwe *
\(\displaystyle{ [(p q) ~p ~r) (q ~r)}\) --- zaprzeczenie zdania *
Dziekuje za pomoc
Zaprzeczenie zdania
-
- Użytkownik
- Posty: 174
- Rejestracja: 13 mar 2006, o 20:44
- Płeć: Mężczyzna
- Lokalizacja: Nowogard
- Podziękował: 33 razy
- Pomógł: 10 razy
Zaprzeczenie zdania
Zgadzam się z maxem
Stosujesz:
- pierwsze prawo De Morgana
- potem dwukrotnie prawo zaprzeczenia implikacji
- na koniec drugie prawo De Morgana
P.S Ja bym nie używał aż tak wielkiej ilości nawiasów, skorzystał bym z priorytetów funktorów, i oczywiście prawa łączności koniunkcji.
Stosujesz:
- pierwsze prawo De Morgana
- potem dwukrotnie prawo zaprzeczenia implikacji
- na koniec drugie prawo De Morgana
P.S Ja bym nie używał aż tak wielkiej ilości nawiasów, skorzystał bym z priorytetów funktorów, i oczywiście prawa łączności koniunkcji.
Zaprzeczenie zdania
Tak sie sklada ze dobrze to zadanie rozwiazalem Moj problem polega na tym, ze zamiast znaku zaprzeczenia \(\displaystyle{ \neg}\) wpisalem tylde, a tylda niestety nie zostaje wyswietlona...
Co do zasad zaprzeczenia
Prawo de Morgana mialem w szkole, ale widocznie go nie pamietam. Stosuje wzory na zaprzeczenia zdan i jak widac... działają
Dziekuje wam za pomoc Pozdrawiam
Co do zasad zaprzeczenia
Prawo de Morgana mialem w szkole, ale widocznie go nie pamietam. Stosuje wzory na zaprzeczenia zdan i jak widac... działają
Dziekuje wam za pomoc Pozdrawiam
- max
- Użytkownik
- Posty: 3306
- Rejestracja: 10 gru 2005, o 17:48
- Płeć: Mężczyzna
- Lokalizacja: Lebendigentanz
- Podziękował: 37 razy
- Pomógł: 778 razy
Zaprzeczenie zdania
\(\displaystyle{ \sim}\)Cutiz pisze:Tak sie sklada ze dobrze to zadanie rozwiazalem Moj problem polega na tym, ze zamiast znaku zaprzeczenia wpisalem tylde, a tylda niestety nie zostaje wyswietlona...
Kod: Zaznacz cały
[tex]sim[/tex]
Jeśli te wzory to:Cutiz pisze:Co do zasad zaprzeczenia
Prawo de Morgana mialem w szkole, ale widocznie go nie pamietam. Stosuje wzory na zaprzeczenia zdan i jak widac... działają
\(\displaystyle{ \neg(a b) \equiv (\neg a)\wedge (\neg b)\\
(a b) \equiv (\neg a)\vee (\neg b)}\)
to wyrażają one właśnie prawa de Morgana
Zaprzeczenie zdania
Ja użyłem takich wzorów:
\(\displaystyle{ \neg (p g) \equiv p q}\)
\(\displaystyle{ \neg (p q) \equiv p q}\)
\(\displaystyle{ \neg (p q) \equiv p q}\)
I rzeczywiscie Wyrazają one prawo de Morgana, ale są zapisane w inny sposób. Nie zwróciłem na to wcześniej uwagi. Dzięki
\(\displaystyle{ \neg (p g) \equiv p q}\)
\(\displaystyle{ \neg (p q) \equiv p q}\)
\(\displaystyle{ \neg (p q) \equiv p q}\)
I rzeczywiscie Wyrazają one prawo de Morgana, ale są zapisane w inny sposób. Nie zwróciłem na to wcześniej uwagi. Dzięki