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: 8621
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 
 Równoważność zdań
Kto mi wytłumaczy jak zrozumieć mam równoważność zdań na tych przykładach Dane jest zdanie " Niektórzy inteligenci nie sa uczciwi". Jest to zdanie równoważne zdaniu: a. Niektórzy nieuczciwi nie są nieinteligentami b. Niektórzy inteligenci ...
 azoghar  2
 Oceń wartość logiczną podanych zdań - probem z 3 przykładami
Może tyle wystarczy (bo chyba masz kłopot z tą kreską). 6|30 to przekładając na nasze ,,sześć jest dzielnikiem trzydziestu". Dzięki Ci bardzo. Zadanie zrobione...
 sj44  2
 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
 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
 prawo logiczne na jutro
=>r czy ktos pomoze stwierdzic czy to jest prawo logiczne i udowodnic tabelka bardzo prosze ...
 OlussiaO  3
 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
 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
 Zaprzeczanie zdań
Bardzo proszę o pomoc w zaprzeczeniu następujących zdań: \bigvee a>0 \quad \bigwedge b<a \quad b^2>a \Rightarrow f(b)<2f(a)\\ \bigwedge x \quad (\bigvee y \quad x=\ln(y) \wedge y\geqslant x-2&#41...
 Karaal  7
 określ wartość logiczną zdań
\bigvee\limits_{x\in N}\\ \bigwedge\limits_{a\in R} a ^{2}-2a+logx >0 proszę o pomoc z tym przykładem, nie wiem kompletnie jak to ruszyć...
 je?op  8
 Prawo algebry zbiorów i prawa de'Morgana
Tak jak w temacie mam sformułować oraz udowodnić prawa de'morgana za pomocą algebry zbiorów, jakby ktoś nie znał tych praw: (A\cap B)' = A' \cup B' (A\cup B)' = A' \cap ...
 strelok_evil  1
 Zdefiniowanie implikacji
Mam problem z tym zadaniem: Udowodnić, że przy użyciu koniunkcji i alternatywy nie da się zdefiniować implikacji....
 Przemkooo  13
 Zbudować schemat zdań
Mam problem z takimi zdaniami, proszę o sprawdzenie. Nie jest prawdą, że jeśli przeczytam podręcznik i nie będę opuszczał zajęć, to zdam egzamin. p - przeczytam podręczniki q - będę opuszczał zajęcia r - zdam egzamin \sim(p \wedg...
 szymon189  6
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com