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
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: 8607
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 
 wartości logiczne zdań
Określ wartości logiczne podanych zdan i zapisz ich zaprzeczenia bez uzycia znaku negacji. a. 5 ^{2}=(-5)^{2} b. 5>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 (x,z)\in T \wedge \underset{y\in X}\exists (z,y&#41...
 tyna6331  1
 prawdziwość zdań
Witam mam pytanie. Właśnie zaczęłam logikę, a nigdy wcześniej jej nie miałam. Więc proszę oszczędzić krytyki. Mam problem z jedym zadaniem. Polecenie brzmi: czy prawdziwe sa następujące zdania: jeżeli jan nie zna logiki, to jesli jan zna logikę t...
 visenna3  2
 rozwiązać korzystając z praw rachunku zdań
\frac{a}{b} < 0 \Leftrightarrow ...
 Atraktor  1
 zaprzecznie zdań
Witam, 1. jak będzie brzmiało zaprzeczenie zdania: liczba jest podzielna przez 6 wtedy i tylko wtedy gdy jest podzielna przez 3 Jakie prawo logiczne jest tu wykorzystane? Bardzo proszę o pomo...
 mon-minou  5
 oceń wartość logiczną zdań - zadanie 4
O co chodzi i jak się za takie zadania zabrać? 1.Zdanie p \wedge (\sim q) jest prawdziwe. Ocen wartosc logiczna zdan p oraz q. 2.Zdanie p jest prawdziwe. Ocen wartosc logiczna zdania. a) p \vee &#4...
 marol354  3
 Formuła rachunku zdań
Czy dobrze zapisałem tako o to formułe zdan moge uzywac =,>,+, *: Istnieje trujmain kwadratowy o dodatnim wyróżniku ktory ma 2 rozwiazania dodatnie: (\exists a\exists b \exists c)(ax*x + bx + c=0 \Rightarrow p*p=(b*b...
 lolomak  0
 prawo logiczne na jutro
=>r czy ktos pomoze stwierdzic czy to jest prawo logiczne i udowodnic tabelka bardzo prosze ...
 OlussiaO  3
 prawdziwość zdań dla dowolnych formuł..
Które z poniższych zdań są prawdziwe dla dowolnych formuł zdaniowych \varphi i \psi a) Jeśli \varphi ...
 raphel  0
 Formula rachunku zdań
Cześć, Musze zapisać takie zdanie 'nie istnieje najwieksza liczba pierwsza' za pomocą symboli, kwantyfikatorów etc. Zrobiłem to tak: \bigvee\limits_{a}\bigwedge\limits_{x}\bigvee\limits_{b}\bigwedge\limits_{y} \left[ \left( 2<x...
 Maath  1
 Oceń wartości logiczne zdań
1. p=0 q=1 czyli wychodzi ze jest prawdziwe 2. p=1 q=1 czyli jest prawdziwe 3. p=1, q=0 czyli jest fałszywe 4. p=1, q=1 czyli jest prawdziwe dobrze mysle?...
 pawellneo  10
 Wyprowadzenie przechodniości implikacji
Mam pytanie. Jak wyprowadzić przechodniość implikacji? Prawo to wygląda tak: \left \Rightarrow (p \Rightarrow r), ale w jaki sposób z [...
 qww  5
 prawo pochłaniania
Witam mam do zrobienia tabelkę do tego działania... Proszę o pomoc... (p \wedge q) \Rightarrow q Z góry dziękuje....
 Vamis  9
 Hilbertowski system dowodzenia [przechodniość implikacji]
Cześć, mam do udowodnienia przechodniość implikacji w Hilbertowskim systemie dowodzenia. Byłbym wdzięczny jeżeli ktoś mógłby mnie pokierować od czego zacząć. Oto zadanie: \Delta=\left\{p\rightarrow q, q \rightarrow r, p, \neg r\right\}...
 peterek  0
 prawo kwantyfikatorów
Sprawdzić czy wyrażenie jest prawem kwantyfikatorów: \bigwedge\limits_{x \in X} (\varphi(x) \Rightarrow \psi(x)) \Rightarrow \left[ \bigwedge\limits_{x \in X} \varphi \left( x \right) \wedge \bigvee\l...
 kaziolo  2
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com