szukanie zaawansowane
 [ Posty: 6 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 16:23 
Użytkownik

Posty: 11
Lokalizacja: Warszawa
Witam,
Mam problem ponieważ nie potrafię ustalić prawa negacji implikacji 2ch zdań. Przeszukałem całą książkę i nic nie pomogło. Znam podstawowe prawo dot. negacji implikacji.

To co muszę zrobić
-udowodnić prawo negacji implikacji 2ch zdań(z udowodnieniem nie mam problemu, ale nie mam wzoru tego prawa)
-zaprzeczyć zdanie :

:Jeśli będę otrzymywał dobre stopnie w liceum: to - dostanę się na studia - lub ^wyjadę na stypendium za granicę^

: - p
- - q
^ - r

oznaczyłem części zdania


Z góry dziękuję za pomoc
Serdecznie pozdrawiam Phafor.
Góra
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 17:09 
Użytkownik

Posty: 535
Lokalizacja: Łódź
Implikację neguje się sprowadzając ją do alternatywy:

p \Rightarrow q  \Leftrightarrow  \neg p  \vee q
Teraz negując to otrzymamy
\neg (p \Rightarrow q)  \Leftrightarrow p \wedge  \neg q

Udowodnić można to za pomocą tabelki, albo inaczej, ale tabelka wystarcza.

Na przykładzie:

Jeśli będę miał dobre stopnie to dostane się na studia \Leftrightarrow Nie będę miał dobrych stopni lub dostane się na studia.

Negacja:
Będę miał dobre stopnie i nie dostane się na studia.
Góra
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 18:30 
Użytkownik

Posty: 11
Lokalizacja: Warszawa
Napisałem, że znam prawo negacji implikacji. Ale chodzi mi o prawo implikacji 2ch zdań gdzie jest więcej niż 2 współczynnik np: p,q,r
Góra
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 18:32 
Gość Specjalny
Avatar użytkownika

Posty: 8608
Lokalizacja: Częstochowa
Przykład takiego zdania.
Góra
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 18:41 
Użytkownik

Posty: 11
Lokalizacja: Warszawa
Jeśli będę otrzymywał dobre stopnie w liceum to dostanę się na studia lub wyjadę na stypendium za granicę
Góra
Mężczyzna Offline
PostNapisane: 3 paź 2010, o 00:52 
Użytkownik

Posty: 535
Lokalizacja: Łódź
To mamy zdanie postaci:

p  \Rightarrow (q \vee r)

Podstawmy s=q \vee r

Taką implikację negujemy jak wyżej.

Odp. Będę otrzymywał dobre stopnie w liceum i nie dostane się na studia i nie wyjadę na stypendium.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 6 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Ocenic wartosc logiczna podanych zdań
Ocenic wartosc logiczna podanych zdań A) 4>6\Rightarrow-4...
 suzzy  2
 koniunkcja dwóch zdań
Czy podane zdanie jest koniunkcją dwóch zdań? Jeśli tak, to jakich? a)Liczby 4 i 9 są parzyste. b) Piotr i Ewa są małżeństwem. c) Suma liczb \frac{1}{2} i \frac{1}{4} jest równa \frac{3}{4}[/tex:3ssvqyt4...
 alabama  1
 Rachunek zdań i logika kwantyfikatorowa
Mam takie zadanie: Czy zdanie wynika ze zbioru zdań? Odpowiedź uzasadnić. Stosować logikę kwantyfikatorową. Żaden polityk nie jest przestępcą ze zbioru {Żaden przestępca nie jest politykiem} Robię takie oznaczenia: Px - ...
 rubik1990  4
 Rachunek zdań - zadanie 4
1. Sprawdzić, które formuły są tautologiami, f. spełnialnymi lub f.sprzecznymi: a)\: (p\vee q\vee r)\Rightarrow (\neg p\Rightarrow ((q\vee r)\wedge \neg p)) \\ b)\: (\neg p\Rightarrow \neg q&...
 BlackSlash  4
 Udowodnij prawo zaprzeczenia koniunkcji
Wiec mam z tym problem: \sim ( p \wedge q ) <=> ( \sim p v \sim q ) poprawilem...
 Kamilo18  10
 oceń wartośc logiczną zdań
mam takie zdanie : 3 ^{-3} \ge 2 ^{10} \Leftrightarrow cos45 +ctg45<0 - to jest lewa strona wtedy i tylko wtedy gdy: (sin0>0) \wedge (4 ^{log _{2}3 } = 3) ...
 katrina3009  5
 wykaż prawdziwość implikacji
Wykaż,że dla wszytskich liczb rzeczywistych a i b prawdziwa jest implikacja: a*b>0 => (a+b)(1/a +1/b) qslant 4...
 kuchcik08  2
 Tworzenie zaprzeczeń zdań - kwantyfikatory
Errichto dziękuje bardzo za podpowiedz. Nareszcie zrozumiałam o co w tym chodzi....
 anita_1991  3
 Napisz negację wyrażenia bez użycia symbolu negacji:
Witam, serdecznie mógłby ktoś to rozwiąząć ? Jedynie mogę obiecać punkcik, nie mam pojęcia jak to rozwiązać : Napisz negację wyrażenia bez użycia symbolu negacji: \sim \forall x \forall y [(x...
 zientek  6
 Zaprzeczenia wyrażeń bez uzycia symbolu negacji
Napisać zaprzeczenia poniższych wyrażeń bez użycia symbolu negacji: a) (\exists y N) (\forall x ...
 Axadiw  7
 Określ wartość logiczną zdań...
a) \bigwedge\limits_{x\in R} b) \bigvee\limits_{x\in R} c) \bigvee\limits_{x\in ...
 Olek619  3
 czy formula jest prawem rachunku zdań
a) p \vee \left(p \Rightarrow p \right) b) \left(p \wedge \sim p \right) \Rightarrow p c) \sim \left(p \wedge \sim p \right) d) [tex:2w...
 mweiland  4
 Zbadać prawdziwość zdań
Jest to zadanie zaliczeniowe z egzaminu. Polecenie nakazuje wykonanie zbadania prawdziwości zdania. Prosze o rozwiazanie poniższego zadania lub podanie szkieletu tego rozwiązania. Λ (x>4=>2x>9) xεR...
 terses  2
 Koniunkcja implikacji ?
Mam dwa pytania z logiki otóż czy zdanie p q ...
 Lee  2
 Rozdzielność implikacji wzgl. małego kwantyfikatora - dowód
Witam, Potrzebuje sprawdzić czy istnieje rozdzielność implikacji względem małego kwantyfikatora, czyli czy prawdziwe jest wnioskowanie: \left \Rightarrow...
 0DFFFh  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com