[ 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: 8586
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 
 prawdziwość implikacji - zadanie 3
Czy implikacja \left( x \ge 3\right) \Rightarrow \left( x>1\right) jest prawdziwa dla x=10, x=2, x=1, x=3??...
 justynache23  1
 Prawo rozkładania kwantyfikatorów
Mam pytanie: czy z formuły \forall x\exists y\((R(x, y) \to P(x)) wynika formuła \forall x\exists y\ R(x, y)\to \forall x\ P(x) ? Z jednej strony ...
 filolaos  2
 prawo negacji koniunkcji, negacji implikacji
witam, mam problem z pewnymi zadaniami, muszę je mieć zrobione i nauczone na poniedziałek, byłym wdzięczny za każdą pomoc, 1.21. Podaj prawo negacji koniunkcji, a następnie znajdź zaprzeczenia zdań: a) 2|8 \wedge z \sqrt{} 2 \le ...
 radsolar  9
 Dziwne zadanie z rachunku zdań
uwaga, uwaga zadanie pochodzi od wykladowcy (Przybylowskiego z UG): "Prosze rozwiazac nastepujace zadania: 1) p q[/...
 dogsoup  0
 Wartości logiczne zdań.
Jak rozwiązać te zadania? 1. Podaj wartości logiczne zdań, jeżeli W(p) = 0: a) jeżeli p, to możliwe jest, że p b) jeżeli konieczne jest, że p, to możliwe jest, że p c) możliwe jest, że p, wtedy i tylko wtedy, gdy jeżeli nie ...
 bobofruit  0
 Logika, negacja kilku zdań.
Nie jestem pewna co dokładnie mam zrobić z tymi zdaniami, gdyż nasza profesor nie wyjaśniła, tylko podała te cztery zdania. Jednak treścią lekcji była negacja. ( Prawo negacji, koniunkcji, alternatywy i implikacji ) Problem w tym, że nie wiem jak wyk...
 delight55  1
 Wykazać równoważność zdań.
Proszę udowodnić następującą równoważność zdań \iff ... ]]] zastosować dowód indukcyjny (najlepie...
 studentPL  3
 Prawo wyłączonego środka
Witam, ostatnio przeglądając w wiki spis praw w intuicjonistycznym rachunku zdań natknąłem się na prawdo redukcji do absurdu. \l...
 Noqa  0
 Rachunek zdan
Zadanie przedstawia sie nastepujaco: Przeanalizuj następujące fakty i odpowiedz, czy Adam jest biologiem. Wskaż prawa i reguły logiki, które zastosowałeś. (a)Adam jest nauczycielem. (b)Nie jest prawdą, że Adam jest nauczycielem i Adam jest bogaty....
 Szalony_Ryszard  2
 wartość logiczna zdań - zadanie 2
Oceń wartość logiczną zdań: \exists x R \ &#40;x^{2} < 2 ...
 Kocurka  3
 dowód rachuku zdań
sorry że taki sam post jest w innym temacie pomyliłem się i tam napisałem nowy temat, proszę o moderatorów o usunięcie go poneiważ sam nie wiem jak się swoje posty kasuje jak udowodnić p \vee \left&#40; g \vee s\right&#41; \Leftrig...
 mat9876  3
 Zaprzeczenie zdania bez użycia symbolu negacji
Polecenie jak w temacie. Mam problemy z następującym przykładem. Czy mógłbym ktoś napisać zaprzeczenie? \bigvee\limits_{x\in R}\bigwedge\limits_{y\in R} Mam 2 k...
 Brzezin  3
 Zaprzeczenia zdań.
Cześć, Zajrzałem dziś w zeszyt z matematyki i mam jeden problem( kilka ). Otóż już nie pamiętam tych lekcji i nie wiem, co skąd, jak, i w ogóle? 1.\neg &#40;\neg &#40;\neg &#40;\neg p&#41;&#41;&#41; - '1' - prawda. 2.[...
 haszkar  1
 Prawo Haubera.
Witam, zgłaszam się do Was z wielką prośba, muszę wykonać zadanie dzięki, któremu zaliczę Logikę i skończy się mój koszmar z Logika A wiec muszę przeprowadzić dowód...
 Berti  5
 Twierdzenie Posta o zupełności rachunku zdań
Poszukuję ww. twierdzenia wraz z dowodem. Ktoś się może na nie natknął??...
 Łukasz_B  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com