szukanie zaawansowane
 [ Posty: 6 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 15: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
Instytut Matematyczny, Uniwersytet Wrocławski
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 16: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 17: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 17:32 
Gość Specjalny
Avatar użytkownika

Posty: 8619
Lokalizacja: Częstochowa
Przykład takiego zdania.
Góra
Mężczyzna Offline
PostNapisane: 2 paź 2010, o 17: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: 2 paź 2010, o 23: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 
 Zdanie bez uzywania znaku negacji
Wiem ze to zadanie moze wydac sie proste, ale nie wiem w jakiej formie mam to zapisac nie znam przepisowego schematu zapisywania zdania bez uzycia znaku negacji otóz zadanie brzmi tak: 1. Zapisz zaprzeczenie podanego zdania bez uzycia znaku negacji: ...
 Anonymous  1
 Negowanie zdania bez symbolu negacji.
Witam, mam problem z zadaniem z książki "wstęp do matematyki". Jest do zanegowania zdanie: (q \Rightarrow r \wedge p) \vee \neg r Zastosowałam prawa De Morgana oraz prawo negacji implikacji, ale wynik n...
 Apsalar  3
 Zapisz schematy logiczne poniższych zdań
A w czym jest problem? JK...
 pacia1620  3
 negacja implikacji
aha a jak bedzie brzmiało twierdzenie odwrotne do danego?? Zamień miejscami fragmenty znajdujące po "Jeżeli"........."to"............ ...
 mareek1993  17
 Kilka zadań, kwantyfikatory, logika zdań i jeszcze coś.
Mam do rozwiązania parę zadań z logiki. Troszkę to kminie tylko, więc sobie zrobiłem ale zostało mi i tak jeszcze tego w ... dużo. HILFE! Podaje też do niektórych zadań swoje rozwiązania, ale nie jestem pewien czy dobrze. (jak w czymś zapomniałe...
 Oran  18
 Dysjunkcyjny rachunek zdań
Witam! Mam taki oto problem, który mnie dręczy strasznie. Chodzi o dysjunkcyjny rachunek zdań. Jest tam jeden aksjomat zwany Aksjomatem Nicoda-Łukasiewicza. Postać aksjomatu jest następująca: \left\{ p / \left \right\} / ...
 Pacoslav  1
 Zanczenie zapisu zdań.
Jaka jest różnica w zapisie między p \vee p \Leftrightarrow p i p \vee p = p oraz np. p \vee 0 = p i p \vee 0 \Leftrightarrow p. Czy w...
 nne  6
 prawo logiczne na jutro
=>r czy ktos pomoze stwierdzic czy to jest prawo logiczne i udowodnic tabelka bardzo prosze ...
 OlussiaO  3
 Okreslic wartosc logiczna zdan i zbudowac ich
Zadanie 1.2.4 Określić wartość logiczna zdań i zbudować ich zaprzeczenie k) \bigwedge\limits_{a\in \left\langle 0, 2 \right\rangle } \bigwedge\limits_{x\in R } \cos 2x = \frac{a^{2}-4a+1}{a^{2}-1} l) \big...
 j4n3k  0
 Zapis formuł zdań
No to super, czyli jest tak jak mi się wydawało na początku, a jak z resztą przykładów? Rozwiązałem dobrze czy coś trzeba skorygować?...
 Garbula  7
 zapisywanie zdan
1. Zapisac symbolicznie nastepujace zdania i formy zdaniowe: a) nie ma najwiekszej liczby rzeczywistej; b) p jest liczba, pierwsza,; c) najwiekszy wspolny dzielnik liczb a i b wynosi siedem; d) kwadrat zadnej liczby naturalnej nie jest ujemny....
 kojot09  8
 Prawdziwość zdań z kwantyfikatorami - zadanie 2
Rozstrzygnij czy następujące zdania są prawdziwe: a) \forall _{x \in N}\ \exists_{y \in N}\ x<y "Dla każdego x \in N, istnieje takie y \in N aby [tex:hw2...
 tomcio1243  4
 Negacja zdań logicznych
Mogłby mi ktos pomoc w tych zadaniach? Podaj negacje zdan: a) \bigwedge\limits_{n\in N} b) \bigvee\limits_{x}(p(x)\wedge q(x))\Rightarr...
 happyname  1
 aksjomaty - rachunek zdań
Mamy dane aksjomaty 1.\alpha \Rightarrow \left( \beta \Rightarrow \alpha \right) 2 . \left( \alpha \Rightarrow \left( \beta \Rightarrow \partial \right) \right) \Rightarrow \left&#40...
 calka86  14
 Podaj zaprzeczenia zdań i oceń wartość logiczną zaprzeczeń.
1. \sqrt{3} jest liczbą całkowitą. 2. 1010 nie jest liczbą parzystą. 3. 5^{2} = (-5)^{2} 4. -8*(-1) \neq 2*4 5. -3^{2} = 9[/tex:210...
 skyyy  2
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com