[ Posty: 7 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 4 lut 2009, o 00:49 
Użytkownik

Posty: 3
Korzystając z prawa negowania implikacji podaj zdanie logicznie równoważne ze zdaniem:


Nie jest tak, że jeżeli mówię fałsz to kłamie.... :idea:


Serdecznie dziękuję, czekam na posty!! :)
Góra
Mężczyzna Offline
PostNapisane: 4 lut 2009, o 00:53 
Użytkownik
Avatar użytkownika

Posty: 32226
Lokalizacja: miodzio1988@wp.pl
p-mowie fałsz
q- klamie
\neg (p \Rightarrow q) \Leftrightarrow p \wedge  \neg q
czyli...kolezanka da rade sama czy kontynuowac?:D
Góra
Kobieta Offline
PostNapisane: 4 lut 2009, o 01:05 
Użytkownik

Posty: 3
sprawdzam czy dobrze myślę :)

dziękuje :)

ewentualnie mam jeszcze jedno gdyby miła ktoś ochotę....


jeżeli Ziuta nie molestowała ministra to molestowała księdza i organistę. PONIEWAŻ Ziuta nie molestowała organisty i nie molestowała księdza to znaczy ze molestowała ministra
Góra
Mężczyzna Offline
PostNapisane: 4 lut 2009, o 01:11 
Użytkownik
Avatar użytkownika

Posty: 32226
Lokalizacja: miodzio1988@wp.pl
p-Ziuta molestowala ministra
q-Ziuta molestowala ksiedza
x- Ziuta to straszny zbok...tfu!! Ziuta molestowala oraganiste:P

\neg p \Rightarrow q \wedge x
tez chodzi o negacje tego zdania??
Góra
Kobieta Offline
PostNapisane: 4 lut 2009, o 01:37 
Użytkownik

Posty: 3
chodzi o błąd formalny :)
Góra
Mężczyzna Offline
PostNapisane: 4 lut 2009, o 01:39 
Użytkownik
Avatar użytkownika

Posty: 32226
Lokalizacja: miodzio1988@wp.pl
a mozna jasniej? a po co ja sie dopytuje??:D kolezanka ma problem, nie ja;]
Góra
Mężczyzna Offline
PostNapisane: 4 lut 2009, o 01:58 
Moderator

Posty: 13794
Lokalizacja: Wrocław
Może tak:
Zdanie "jeżeli Ziuta nie molestowała ministra, to molestowała księdza i organistę" na mocy prawa kontrapozycji i prawa de Morgana jest równoważne zdaniu "jeżeli Ziuta nie molestowała organisty lub nie molestowała księdza to znaczy, że molestowała ministra", które nie jest równoważne zdaniu "jeżeli Ziuta nie molestowała organisty i nie molestowała księdza to znaczy, że molestowała ministra".

Natomiast całe rozumowanie
Cytuj:
jeżeli Ziuta nie molestowała ministra to molestowała księdza i organistę. PONIEWAŻ Ziuta nie molestowała organisty i nie molestowała księdza to znaczy ze molestowała ministra

jest w porządku. Otóż jeśli zdanie "Ziuta nie molestowała organisty i nie molestowała księdza" jest prawdziwe, to tym bardziej prawdziwym jest zdanie "Ziuta nie molestowała organisty lub nie molestowała księdza", zatem z opisanej powyżej równoważnej wersji zdania pierwszego wynika, że musiała molestować ministra.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 7 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Zaprzeczenie implikacji
Nie wiem jak zaprzeczyć taką implikację ~(p => q => r) albo ~(p => q => r => s => t) jeśli byłby ktoś tak miły i wyjaśnił dokładnie co i jak, bo mam mętlik w głowie mi wychodzi że to jest ~(p => q => r) p ^ ~(~q => r) p ^ ~q ^ ~r ale wiem ...
 LoLeKs  13
 Udowodnij tautologię korzystając z aksjomatów RO i RP
Udowodnij tautologię korzystając z aksjomatów i reguły odrywania i podstawiania (dowód formalny), niestety nie mozna stosowac zadych innych twierdzen w tym o dowodzie dedukcyjnym i schemacie dowodu nie wprost. ((p\Rightarrow q&#...
 Edward2011  2
 Udowodnic tozsamosc, ze L=P (prawa algebry Boola)
\neg x+xy+x \neg z+x \neg y \neg z= \neg x+y+ \neg z doszedlem do tego: \neg x+ \neg z+y+x \neg y \neg z Problem mam z tym wyrazeniem trzy elementowym, nie wiem czy mozna zastosowac...
 tresbien  0
 Prawa rozdzielności - zadanie 2
Jak wiemy p \vee (q \wedge r) \Leftrightarrow (p \vee q) \wedge (p \vee r) ale czy działa to dla większej ilości zmiennych, np czy p \vee (q \wedge r \wedge s) \Le...
 MakCis  1
 podaj wartość logiczną zdania i napisz jego zaprzeczenie - zadanie 3
\bigvee_{k\in C} k^{2}-4...
 madziawaw28  1
 Udowodnij korzystając z algebry Boole'a
ax \neg y + a \neg xy + \neg ay = (ax) \oplus y Udowodnij, że L=P używając przekształceń opartych na prawach algebry logiki Boole'a. Proszę o rozpisanie powyższego przykładu, lub o jakieś naprowadzenie jak to r...
 Annoyer13  0
 Funkcja zdaniowa a zdanie
Mam takie pytanie - czy mogę zdefiniować zdanie poprzez funkcję zdaniową? Tzn. \psi(x) :=\psi? Napiszę może konkretnie o co mi chodzi na przykładzie zadania. Wiem, że \forall x (\varphi(x&#4...
 nne  6
 Sprawdzanie czy zdanie jest tautologią.
Aha i jeżeli podam taki przykład że wychodzi sprzeczność to zdanie jest tautologią a jeżeli wychodzi równość to nie jest tak? Lub inaczej interesuje mnie sposób rozwiązywania bez tabelki...ponieważ przy zdaniach bardziej rozbudowanych taka tabelka to...
 nowik1991  3
 sprawdzić zachodzące prawa
Zad 1. Sprawdzić, czy dla implikacji i równoważności dwóch zdań zachodzą prawa przemienności i łączności. Zad 2. a) Pokazać, że negacją alternatywy wykluczającej jest równoważność b) Jaka jest wartość logiczna zdania pXORp[/tex:8uoshxb...
 j4n3k  0
 zaprzeczenie implikacji - zadanie 2
Podaj prawo negacji implikacji a następnie znajdź zaprzeczenia zdań: ~(p=>q)<=> - prawo zdanie brzmi: Jeśli śnieg jest biały, to trawa jest zielona. Czy takie rozwiązanie jest poprawne? śnieg jest biały- p trawa jest zielona- q ~(...
 AdrianSZ45  1
 Korzystając z terminologi logicznej zapisać zdanie.
Korzystając z terminologi logicznej zapisać zdanie: "Każda liczba rzeczywista z przedziału jest wartością funkcji cosinus"...
 zergqq  2
 Równoważność zamiast implikacji
Witam, kolejna dawka zadań do rozwiązania/naprowadzenia na rozwiązanie z matematyki dyskretnej, tym razem z logiki: Które z podanych poniżej praw, będących implikacjami pozostaną prawami rachunku kwantyfikatorów, gdy poprzednik i następnik każdego z...
 tatarovsky  3
 Trywialne zdanie logiczne.
p => q p - nie spróbuje q - nie wygram p q p => q 0 0 1 0 1 1 1 0 0 1 1 1 jesli sprobuje to wygram 1 jesli sprobuje to nie wygram 1 jesli nie sprobuje to wygram 0 jesli...
 kdk909  4
 Logika - proste zdanie
Mam problem z takim o to prostym zdaniem z \vee q \rightarrow r Czy dobrze mysle ze owe wyrazenie jest rownowazne z: z \vee \neg q \vee r...
 TenTyp-Autentyk  4
 Prawdziwość implikacji
Zacząłem czytać trochę nowy podręcznik, pierwsza jest logika, poczytałem i porobiłem zadania, czy ktoś by mógł sprawdzić jedno z nich: 1. Niech p i q będą pewnymi zdaniami, o których n...
 Sokół  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com