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: 8608
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 
 Budowa zdań kwantyfikatorami
Witam, mógłby mi ktoś pomóc i pokrótce wytłumaczyć jak się za to zabrać. Do rzeczy Zapisać kwantyfikatorami: 1. K jest najmniejszą wspólną wielokrotnością liczb i oraz j[/tex:fy...
 Kaganiecx  3
 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
 Wyrażenie implikacji
Jak udowodnić, że za pomocą koniunkcji i alternatywy nie mozna zapisac implikacji?...
 stasius12  2
 Wykaż, że następująca formuła jest prawem rachunku zdań. - zadanie 2
\left \Leftrightarrow \left... \right] \right] \right]. Trzeba to wyk...
 Voicer  6
 prawo rachunku kwantyfikatorów - zadanie 2
Witam. Czy podana formuła jest prawem rachunku kwantyfikatorów? Udowodnic lub podac kontrprzyklad \Rightarrow [ \neg \exists _{x \in \mathbb{R}} \psi(...
 wawrys93  4
 Prawdziwość implikacji - zadanie 5
Witam! Nie do końca wiem jak należy rozumieć zdanie że jakaś implikacja jest prawdziwa. Czy to oznacza że jest ona tautologią? Np. "Jeśli prawdziwa jest implikacja p \Rightarrow q oraz p[/tex:2tpmiye...
 m7s1994  9
 x jest podzielnikiem y formuła rachunku zdań
http://www.matematyka.pl/269453.htm znalazłem to i w 3 i 4 pkt nie ma takiego połączenia? Chodzi o te odpowiedzi już poprawione i zaaprobowane przez Pana.[/quote:f113sj0...
 gardner  17
 2 zadania z rachunku zdań i pytanie
1. Zbadać poprawność rozumowania: Jeśli x-1= \sqrt{x+1} \ to \ x^{2}-2x+1=x+1, więc x=0 lub x=3. Zatem liczba 0 lub liczba [tex:3s9vrr...
 Andrzej_Bim  19
 Wartość logiczna zdań
Witam Was wszystkich Mam problem z zadaniem odnośnie wartości logicznej zdań. W sumie je zrobiłam, ale dla upewnienia się proszę Was o pomoc.Oto treść tego zadania: Litery p, q, r, s oznaczają zdania: p : Rzeka przepływająca przez ...
 Ziutka25  7
 Zaprzeczenie implikacji, gdzie w następniku jest implikacja
Witam, mam takie zdanie: p: (-3)^{3} > (-2) ^{3} \Rightarrow (2 \in N \Rightarrow 4|8) i mam go zaprzeczyć. Oto mój tok myślenia: \neg p: (-3)^{3} > (-2) ^...
 janekpogwad  2
 Zaprzeczenie zdań, mały problem
Witam! Znowu mam problem, a mianowicie: mam sobie a) \Rightarrow 10=-10 i mam sobie znaleźć zaprzeczenie, i mam pytania: czy użycie do tego prawa I De Morgana \neg (p ...
 radsolar  3
 wykaż, że wyrażenie jest prawem rachunku zdań
witam, (p^q)vr (pvr)^(qvr) jak udowodnić to za pomocą tabelki? Gdyby były dwie zmienne to ok, ale 3? nie mam pojęcia jak się za to zabrać....
 loel  1
 Ocena wartości logicznej zdań.
Witam. Zrobiłem zadanie które polega na ocenieniu wartości logicznej zdań, lecz nie jestem pewien co do wyników. Prosiłbym o sprawdzenie oraz wytłumaczenie jeżeli jest to możliwe. a) \bigwedge\limits_{x\in R} x^2+2>0 ...
 Michal99  13
 liczba fałszywych zdań
Dane jest k zdań. Zdanie k brzmi : fałszywych jest k zdań. Ile zdań jest fałszywych i które?...
 rosoladm  10
 Dowody formuł Klasycznego Rachunku Zdań
Mam do udowodnienia takie formuły, nie wiem jak mam się za to zabrać. Nie ma być to bowiem metoda zero-jedynkowa, tylko wykorzystując lematy z Klasycznego Rachunku Zdań, bardzo proszę o pomoc. 1.A \rightarrow \left( \neg B \righta...
 Swider  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com