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: 8608
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 
 Logika pierwszego rzędu, zapis formuł zdań.
Witam mam problem z następującym zadaniem, nie jestem pewny czy dobrze je rozwiązuje: zdanie: Niektóre ptaki nie są orłami. Mam zapisane w formie słownej tylko, na razie coś takiego: Nie istnieje taki x, że Nie [tex:1cc7g...
 Garbula  3
 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
 Rachunek zdań - kilka zadań z ksiązki pana Jana
1. Sprawdzić poprawność rozumowań. Jeśli stopa procentowa nie ulegnie zmianie, to wzrosną wydatki rządowe lub pojawi się bezrobocie. Jeśli wydatki rządowe nie wzrosną, to podatki zostaną obniżone. Jeśli podatki zostaną obniżo...
 nne  11
 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
 Równoważność zdań - zadanie 4
Witam, Czy następujące zdania są równoważne: a) \alpha _{n} \Rightarrow \alpha _{n-1} \Rightarrow (... \Rightarrow \alpha _{1} \Rightarrow \beta )...)) oraz \alpha _{n} \wedge ...
 martin_bar  11
 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
 Od stwierdzenia do implikacji
Suma dwóch liczb nieparzystych jest liczbą nieparzystą. Najpierw określam zbiór liczb nieparzystych: A=&quot;zbiór liczb nieparzystych&quot; i tworzę implikację: \forall n_1,n_2,n_3...
 bob1000  1
 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
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com