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
Instytut Matematyczny, Uniwersytet Wrocławski
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: 8626
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 
 Określ wartość kogiczną zdań
Witam. Mam zadanie do rozwiązania. 1)\ \bigwedge x \in \RR\ \bigvee n \in \NN\ n<x<n+1 2)\ \bigwedge x \in \RR\ \bigvee n \in \ZZ\ n \le x<n+1...
 grzesiek50  10
 rezolucja dla rachunku zdań 1
Udowodnij, że dla dowolnych klauzul C i D oraz dowolnej zmiennej zdaniowej p rezolwenta C \vee D jest logiczną konsekwencją zbioru {[t...
 wrocekyo  5
 Logika Prawo de morgana
Na co szczegolnie zwracac uwage przy prawie morgana? prawo negocjacji koniunkcji: 2/8 \wedge \sqrt{2} \le \sqrt{3} to jesli to ulega koniunkcji to czy znak \le sie zmieni w przeciwna strone? Prosze o sprawdzenie pa...
 Skoczek135  2
 Ocenic wartosc logiczna podanych zdań
Ocenic wartosc logiczna podanych zdań A) 4>6\Rightarrow-4...
 suzzy  2
 wykazac ze zdanie podane w srodku jest prawem rachunku zdan
nie mialem nigdy logiki wiec nie wiem co to jest prosze o pomoc 10. Wykazac ze zdanie \sim(\sim p\wedge\sim q) ...
 achiles21  6
 Tłumaczenie zdań potocznych na implikację w rachunku zdań
Już zrozumiałem o co chodzi w moich punktach. Oczywiście jeżeli ktoś ma coś do dodania to chętnie posłucham. Zawsze może mi to poszerzyć horyzonty. Co do Twoich punktów. 1. "Zdanie A jest wtedy i tylko wtedy adekwa...
 nne  2
 Prawo logiczne - zadanie 3
Czy tautologia: \Leftrightarrow (p \Rightarrow q) ma jakąś nazwę?...
 matematix  1
 Napisz zaprzeczenia zdań - zadanie 2
Napisz zaprzeczenia zdań i oceń wartość logiczną zaprzeczeń: 1) Liczba 7 jest liczbą naturalną lub liczbą pierwszą I robie to w ten sposób że korzystam z prawa De morgana: \neg (p \wedge q) \Le...
 miketyson  6
 Zamiana zdan na formuly
Witam, potrzebuje zeby ktos mi sprawdzil moje wypociny i dal 'kopa' do jednego przykladu. W zadaniu mam przedstawic nastepujace zdania w postaci formuly z kwantyfikatorami. a)liczba x jest najmniejsza wspolna wielokrotnoscia y i z : \ex...
 Zimnx  8
 prawo rachunku kwantyfikatorów - zadanie 3
Czy podana formuła jest prawem rachunku kwantyfikatorów? Udowodnić lub podać kontrprzykład. 1. \forall x \ (\varphi (x) \vee \psi (x) ) \Rightarrow \forall x \ \varphi (x) \vee \forall x \ \psi (x...
 kalwi  1
 nierównowazne formuly rachunku zdan
Ile istnieje nierównowaznych formul rachunku zdan zbudowanych ze zmiennych zdaniowych p_1{}, ...., p_n{} ?...
 no_name  1
 zapisywanie zdań - zadanie 2
Polecenie jak w temacie. Bardzo proszę o sprawdzenie i naniesienie ewentualnych poprawek lub jakieś podpowiedzi a) \beta _{0} - zbiór ...
 aniap112  5
 Alternatywa zdań
Witam. Czy daną alternatywę: "Każda liczba całkowita jest parzysta lub nieparzysta" należy rozumieć jako zdanie: "Każda liczba całkowita jest parzysta lub każda liczba całkowita jest nieparzysta"? Z góry dzięki....
 matematix  14
 logika rozkład zdań + wyjaśnienie rozumowania
Witam. Proszę o sprawdzenie czy dobrze wykonałam pracę. 1. jeśli pójdę do szkoły to będę miała chemię i fizykę, a jeśli nie będę miała chemii i nie będę miała fizyki to nie pójdę do szkoły. p-pójdę do sql [tex:20nfq0b9...
 psyched  0
 Dowód z użyciem systemu dowodzeń dla rachunku zdań
Mam dowieść następujące formuły: b) X \Rightarrow true d) X \vee ( \neg X) z użyciem systemu dowodzeń dla rachunku zdań czyli z użyciem systemu Hilberta: Prawo symplifikacji - aksj...
 pawellogrd  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com