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 
 Rozstrzygnąć prawdziwość zdań
Jak się zabrać za udowodnienie takiego zadania: Rozstrzygnąć prawdziwość zdań: a)\forall x \in 0 \exists a : \frac{x}{2} <a<x b)\forall x>0 \forall y >0 : x \neq y \Rightarrow \frac{x=y}{2} &gt...
 Pawel9922  8
 Czy formuły rachunku zdań są tautologami ?
Sprawdź czy następujące formuły rachunku zdań są tautologami ( metodą 0-1). a) p\Rightarrow\p b) p\Rightarrow\(q\Rightarrow\p) c) p\Rightarrow\(q\Rightarrow\[/tex:dre6iwo...
 Michal_Walczuk  5
 udowodnienie 2 zdan logicznych
witam! mam wielki problem z udowodnieniem 2 zdan logicznych: 1.) \bigwedge\limits_{x\in X} \phi (x) \psi (x) ...
 MitS  1
 Implikacje zdań
Proszę o pomoc w rozwiązaniu zadania; Rozważmy zdania; p- w trójkącie ABC wszystkie boki są równe, q- w trójkącie ABC wszystkie kąty są równe r-trójkąt ABC jest równoramienny. Sformułuj wszystkie możliwe implikacje tych zdań. Wskaż implikacje prawdzi...
 P@we?  2
 Prawo negacji alternatywy i zaprzeczenie zdań
Podaj prawo negacji alternatywy, a następnie znajdź zaprzeczenie zdań: A) 3 \ge 2 \ \vee \ 3<-1 B) 7 jest liczba naturalna lub pierwsza C) 2 jest liczba parzysta lub 5 jest dzielnikiem 8 D) Sapieha był królem Polski ...
 dawid078  8
 rachunek zdań - zadanie 2
Czy poprawne jest rozumowanie „Z faktu, że funkcja f jest różniczkowalna w punkcie x wynika, że jest ona ciągła w punkcie x. Zatem z faktu, że funkcja f jest ciągła w punkcie x wynika, że funkcja f jest różniczkowalna w punkcie x.”? Jak zapisac prze...
 rstruna  2
 zaprzeczenie negacji - zadanie 2
napisz zaprzeczenie negacji a)x>a...
 Fifty  5
 Inny zapis negacji - jedno pytanie
Witam, jedno szybkie pytanie: czy można zapisać \neg p jako p \Rightarrow \perp. Są to formuły równoważne ale chciałbym się upewnić czy można tak zrobić. Pozdrawiam...
 fxp  3
 Wykaż prawdziwość zdań.
pokaż, że: 1) (A B = A ...
 antek11  5
 Dowód podwójnej implikacji
Powiedzmy, że mam w zadaniu dane pewne założenia p i tezę w postaci implikacji q \implies r. Zatem całe zdanie ma postać p \implies ( q \implies r ). W ja...
 MakCis  6
 Prawa rachunku zdań - zadanie 3
Witam, mam problem z tym zadaniem: Zapisz podane zdanie za pomocą implikacji i negacji: \left(p\vee \sim r ) \wedge \left( \sim p \wedge s \right)...
 nikola012  3
 Określ wartość logiczną następujących zdań.
Tak jak wyżej. Prosiłbym o komentarz.. \bigwedge\limits_{x\in R} (x^{2}-4 \ge 0) \Rightarrow x-2 \ge 0 \bigwedge\limits_{x\in R} x^{3} \ge 0 \Rightarrow x>0 \b...
 izak110  1
 prawo de morgana
Witam bardzo serdecznie. Jestem tu pierwszy raz, i bardzo potrzebuję pomocy. Jeżeli był już taki wątek, to z góry przepraszam. Mam problem z następującym zadaniem: ((p \rightarrow q) \rightarrow (r \vee q)) \wedg...
 mariola1234  1
 Prawo logiczne w zdaniu dot. dwóch punktów i prostych
Sformułować i udowodnić prawo logiczne, przy którego pomocy na podstawie tezy (I) Przez dwa różne punkty przechodzi co najwyżej jedna prosta można udowodnić tezę (II) Dwie różne proste mają co najwyżej jeden punkt wspólny i na odwrót, na podstaw...
 pawellogrd  0
 Zapis zdań - sprawdzenie rozwiązania
Witam. Mam prośbę o sprawdzenie poprawności rozwiazanych przeze mnie zadań: 1. Kwadrat dowolnej liczby naturalnej daje resztę 0 lub 1 z dzielenia przez 4. (Można używać symboli: 0; 1; 4; +; ; = ...
 xmtix  2
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com