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
Instytut Matematyczny, Uniwersytet Wrocławski
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: 8632
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 
 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
 Kwantyfikatory: Wartości logiczne zdań
Proszę o pomoc w tym zadaniu. Wydaje mi się ze a) jest prawdą b) jest fałszem, ale chciałabym się upewnić czy na pewno dobrze myślę. Oceń wartość logiczną następujących zdań: a) \bigwedge\limits_{a\in R} \bigvee\limits_{b\in R} \lef...
 dorota1993  1
 Pytanie dyletanta n.t. zdań
Zdolne dzieci zadaly mi pytanie, które nie wydaje się trudne, ale chyba brakuje mi warsztatu, żeby na nie odpowiedzieć. Do rzeczy. W pudełkach A i B są dwa koty. Nie mamy możliwości rozstrzygnąć jak się rozłożyły (bo to koty Schrödingera) tym niemni...
 xiikzodz  2
 Udowodnić prawo rachunku funkcyjnego
\sim(\bigvee \limits_{x\in X}(\varphi (x)) \Leftrightarrow \bigwedge \limits_{x\in X} \sim\varphi (x). Co oznacza tutaj znak \sim ? Na Wikipedii podane jest kilka ...
 wolkow  6
 Prawdziwość zdań - zadanie 7
Witam! Mam problem z pewnym zadaniem, w którym muszę sprawdzić, czy podane zdania są prawdziwe. A) Jeśli x jest liczbą pierwszą, to jeśli x jest liczbą złożoną, to x=110[/tex:hm...
 Melle23  4
 100 kartek, ile można ułożyć implikacji i równoważności?
Witam! Mam zadanie: Na każdej ze stu kartek napisano jedno zdanie, na każdej kartcje inne. Połowa zdań jest prawdziwa, a połowa fałszywa. Wybieramy 2 kartki i budujemy z napisanych na nich zdań implikację, w której zdanie z pierwsze...
 ptasio  2
 Rachunek zdań - zadanie 7
Wiadomo, że prawdziwa jest równoważność \left( p \wedge q\right) \Leftrightarrow \left( p \vee q\right). a) p i q są zdaniami prawdziwymi b) [tex...
 kamil13151  5
 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
 Zaprzeczenia zdań - zadanie 3
Witam! Mam polecenie do zadania : Podaj prawo negacji implikacji, a następnie znajdź zaprzeczenia zdań: (część 1 polecenia umiem, mam problem z 2) np. Jeżeli 2|5, to kwadrat ma cztery przekątne. Czy zaprzeczenie tego zdania będzie wyglądało tak ? ...
 Holbi  1
 Prawdziwość implikacji - zadanie 4
Gdy mamy równoważność to by zdanie np. p1 \Leftrightarrow p2 \Leftrightarrow p3 \Leftrightarrow p4 \Leftrightarrow p5 było prawdziwe to wszystkie składniki muszą być jednakowe albo prawdziwe albo fałszywe, a jak określa ...
 Giks  3
 Zapis formuły zdaniowej przy użyciu negacji i implikacji
Po prostu korzystasz z równoważności: \neg x \vee y \iff (x \Rightarrow y), gdzie \neg x=\neg (p \Rightarrow q), y=\neg (r \Rightarrow p)...
 withdrawn  9
 farmuły rachunku zdań
Niech A,B,C beda formułami rachunku zdan, przy czym A \Leftrightarrow B niech bedzie tautologia. Prosze wykazac, ze nastepujace formuły równiez sa tautologiami: a)(A \vee C) \Leftrightarrow (B \...
 pacia1620  11
 Język rachunku zdań
Wskazać ciągi znaków, które są słowami języka rachunku zdań: a) ((p \vee q)) b) p \vee q c) q \vee p \Leftrightarrow (\vee (q,p))...
 Divine  3
 Rachunek zdań; dowód nie wprost
Hmm, a to nie zakładamy że implikacja jest fałszywa? Zakładamy. natalianw napisała Chodzi mi o to, że zakładam, że (...
 natalianw  7
 Koniunkcja implikacji ?
Mam dwa pytania z logiki otóż czy zdanie p q ...
 Lee  2
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com