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
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: 8612
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 
 Dokonaj analizy zdań i sporządz wykres
"Bylismy przekonani ,ze dziewczęta wygraja ten mecz,poniewaz byly swietnymi koszykarkami i potrafiły wlaczyc do końca ,mimo ze odnosiły często kontuzje."...
 miska  0
 Prawo rozdzielnosci mozliwosci wzgledem implikacji
Zajmujemy sie udawadnianiem wlasnosci relacji dostepnosci pomiedzy mozliwymi swiatami w logice modalnej. Dla modelu M = \langle W, R, V\rangle, gdzie W jest zbiorem mozliwych swiatow, [tex:1m...
 onlookerreal  0
 Formuły rachunku zdań. - zadanie 2
Przy pomocy wyłącznie symboli logicznych, kwantyfikatorów ( tylko nieograniczonych ), zmiennych przebiegających zbiór liczb rzeczywistych oraz znaków podanych w nawiasach zapisać wyrażenia : a.) Każdy trójmian kwadratowy ma co najwyżej dwa różne pie...
 ugabuga333  4
 zaprzeczenia zdan w logice :(
prosze o pomoc potrzebuje tylko zaprzeczenie sam wynik (zrobiłem ale chce sprawdzic czy dobrze bo nie długo mam zaliczenie z logiki ,ktos by był wdzieczny z gory dziek...
 dark1309@o2.pl  6
 budowa zdań implikacja równowaznosc
Niech litery p, \ q, \ r, \ s oznaczają następujące zdania: p: Bieżący rok jest rokiem przestępnym. q: W przyszłym roku luty będzie miał 29 dni. r...
 midian666  3
 koniunkcja i alternatywa nie daja negacji
Pokaz, ze za pomoca koniunkcji i alternatywy nie mozna zdeniowac negacji. Moj tok rozumnowania: Definicja koniunkcji (iloczynu logicznego): Y = p \wedge q Definicja alternatywy (sumy logicznej): Y = p \...
 posciel  3
 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
 wartość logiczna zdań kwadratu logicznego!
Mam takie zadanie: co na podstawie poniższych zdań możesz powiedzieć o wartości logicznej innych zdań kwadratu logicznego? a) niektóre kobiety nie są adwokatami nie wiem jak mam się zabrać za rozwiązywanie tego typu zadań. Mam uznać to zdanie za praw...
 hideinthesky611  0
 Zaprzeczenia zdan
Znajdz zaprzeczenia zdan: a) 3 qslant 2 3 < -1...
 janicha  0
 Język toerii - zapisywanie zdań
Witam , mam pewne zadanko do zrobienia i potrzebuję wskazówek zadanie . Przyjmując oznaczenia: A=zbiór studentów, B=zbiór ludzi pracujących zawodowo, C=zbiór sł...
 frankez  1
 zdania zapisać jako formuły rachunku zdań
6. //kompletnie nie wiem czy to dobrze// &#40;\forall a&lt;0&#41;&#40;\forall b,c&#41;\left[&#40;\exists x&#41;\left&#40;x= \frac{-b}{2a}\right&#41; \Rightarrow &#40;\exists y&#41;\left&#40; y= \frac{-&#40;b^2-4ac&#41;}{4a} \right&#41;...
 sorcerer123  13
 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 zdań
To jest raczej pytanie (w sumie z użyciem kwantyfikatora ) &quot;Czy istnieje dwóch tak samo wyglądających chłopców, którzy nie są bliźniakami&quot;. I jeżeli odpowi...
 arabella  9
 wartości logiczne zdań
Określ wartości logiczne podanych zdan i zapisz ich zaprzeczenia bez uzycia znaku negacji. a. 5 ^{2}=&#40;-5&#41;^{2} b. 5&gt;5 c. \sqrt{9} \le 3 d. ...
 alexsus  2
 co to za prawo?
w jednym z dowodów mam takie przejście. czy jest ono poprawne? jesli tak to na mocy jakiego prawa lub jakiej własności?z óry dziękuje za odpowiedz \underset{z\in X}\exists &#40;x,z&#41;\in T \wedge \underset{y\in X}\exists &#40;z,y&#41...
 tyna6331  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com