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 
 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
 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
 Przykłady zdań logicznych
Witam Wczoraj w szkole zostały mi przedstawione podstawowe pojęcia logiki.. i w związku z tym dostałem zadanie z matematyki, które ma treść: "Napisz po 2 zdan...
 chimpo  3
 Trzej studenci - prawdziwość zdań
Na pytanie, ktory z trzech studentow studiowal logike otrzymano nastepujaca odpowiedz: Jesli studiowal Marek to studiowal tez Wacek i nieprawda jest, ze jesli studiowal Tomek, to studiowal Wacek. Ktory z chlopcowstudiowal logike? Możecie mi pomóc ...
 pawel1988  4
 kwantyfikatorowe schematy zdań
Zbuduj kwantyfikatorowe schematy następujących zdań: -Każdy prostokąt ma dokładnie dwie przekątne. -Każdy człowiek zna co najmniej jeden język. -Każdy student zna co najmniej dwa języki. Bardzo proszę o pomoc...
 michal422  0
 Zaprzeczenia podanych zdań
Może mi któś pomóc jak się za to zabrać ? Znajdź zaprzeczenia podanych zdań i oceń wartość logiczną zaprzeczeń. 1) (-3) ^{2}=9 \wedge \sqrt{(-3) ^{2} }=3 2) 2 jest liczbą parzystą i 5 nie jest podzi...
 Lavender  1
 Równości zdań
Wiadomo, ze zdania p \Rightarrow q, \sim p \Rightarrow roraz r \Rightarrow (p \vee q)sa prawdziwe. Co mozna powiedziec o zdaniach p;...
 kernelek  1
 prawo rachunku zdań
Witam. Mam pytanie odnośnie tego prawa rachunku zdań. (p \Leftrightarrow q) \Leftrightarrow rozrysowałem to na matrycy logicznej, ale wychodzi na to...
 je?op  10
 Podstawy logiki - zapisywanie zdań logicznych
1. Znaleźć najkrótszą formułę równoważną z ((p \vee q) \wedge \neg p) \Rightarrow q. 2. Znaleźć formułę najkrótszej długości równoważną z p \Rightarrow (q \wedge...
 crazy_j0e  0
 Tautologie dla zdan z kwantyfikatorami.
Czy sprawdzanie czy zdanie jest tautologia jesli zawarte sa w nim formy zdaniowe z kwantyfikatorami tez mozna sprawdzic za pomoca tabeli? Jesli nie to jak to nalezy zrobic?...
 fishman4  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com