[ 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 Online
PostNapisane: 4 lut 2009, o 00:53 
Użytkownik
Avatar użytkownika

Posty: 32641
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 Online
PostNapisane: 4 lut 2009, o 01:11 
Użytkownik
Avatar użytkownika

Posty: 32641
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 Online
PostNapisane: 4 lut 2009, o 01:39 
Użytkownik
Avatar użytkownika

Posty: 32641
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: 14200
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 
 Zdanie logiczne - zadanie 2
Proszę o wytłumaczenie. Wiem, ze zdanie logiczne to zdanie orzekające, któremu można przypisać prawdę lub fałsz. i teraz mam zadanie na ocenienie co jest zdaniem logicznym: a) Bolek lubi lody. b) 8 jest liczbą złożoną. c) x^{4}>0[...
 lubienglish  6
 zdanie logiczne - zadanie 6
mam do zapisania nastepujące zdanie: Jeśli 13 dzieli się przez 2, to z tego że 13 nie dzieli się przez 2 wynika, że 13 dzieli się przez 3 i czy taki zapis jest poprawną interpretacją tego: [tex:34h2...
 Domcia  8
 Prawa De Morgana dla kwantyfikatorów
Poprzez kilkukrotne zastosowanie praw de Morgana dla kwantyfikatorów pokazać, że: a) \neg \left \Leftrightarrow \exists x \exists y \left( x+y\right)^2 \...
 KubaJBSK  24
 Prawo negacji implikacji 2ch zdań
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 udowodn...
 Phafor  5
 czy prawdziwe jest zdanie
Jeżeli kwadrat jest prostokątem, to z faktu, że kwadrat jest prostokątem i jest równoległobokiem wynika, że kwadrat nie jest prostokątem....
 kma2901  1
 Rozdzielność implikacji wzgl. małego kwantyfikatora - dowód
Witam, Potrzebuje sprawdzić czy istnieje rozdzielność implikacji względem małego kwantyfikatora, czyli czy prawdziwe jest wnioskowanie: \left \Rightarrow...
 0DFFFh  4
 Zdanie złożone
Napisz zdanie złożone, które jest prawdziwe wtedy i tylko wtedy, gdy dokładnie jedno z trzech zdań p,q,r jest prawdziwe. Proszę o pomoc w tym zadaniu....
 sejman  5
 Sprawdź czy zdanie jest tautologią - zadanie 2
Sprawdź metodą skróconą czy zdania są tautologiami: 1. \wedge \rightarrow ( \neg p \wedge \neg q \wedge \neg r) 2. [(p \vee q) \...
 BaTinka91  2
 Funkcja i zdanie z kwantyfikatorami
Funkcja f:\mathbb{R} \rightarrow \mathbb{R} dana jest wzorem: f(x)=x^2-4x. Czy prawdą jest, że: \exists x \left( \forall y,z \right) \left( x \le y \le z ...
 Andrea  4
 Uzasadnij, że zdanie jest tautologią
Witam! Mam problem z następującym zadaniem: Wiadomo, że (p \Leftrightarrow q) \Leftrightarrow (p \Rightarrow q \wedge q \Rightarrow p) Uzasadnij, że zdanie \neg (p \Leftrightarrow q)...
 emikyou  4
 Zdanie logiczne - zadanie 4
Witam W podręczniku mam zadanie następującej treści: Niech zmienne a i n przebiegają zbiór liczb całkowitych. Udowodnij , że jeśli n dzieli a \cdot ...
 matematix  9
 Zanegowanie implikacji
Dzień dobry. Mam problem ze zrozumieniem pewnego wyrażenia: (p \Rightarrow q) \neg \Leftrightarrow (p \neg \vee q) \neg Nie rozumiem czemu zmienił się znak z impikacji na alternatywę i co najważniejsze d...
 rubesom  2
 System Łukasiewicza i prawa de Morgana
Jak udowodnić, korzystając z praw de Morgana, że w systemie Łukasiewicza można otrzymać z koniunkcji alternatywę? Wydaje mi się, że napisanie (p \wedge q) = \neg (p \Rightarrow \neg q), to stanowczo za...
 together  0
 czy to zdanie jest tautologią?
(p =>q) <=> (q=> p) jeżeli możecie rozpiszcie mi to metodą zero jedynkową. Mam takie zadanie, ale niestety logika to dla mnie najgorszy z możliwych działów matematyki....
 madziarra23  4
 Sprawdź czy zdanie jest tautologią.
Witam. Zaoferowałam pomoc koledze w rozwiązywaniu zadań. Wszystko było dosyć proste, ale w ogóle nie pamiętam logiki, więc proszę o pomoc. Zad. Sprawdź czy zdanie jest tautologią: p \vee [( \sim p \wedge q) \vee ( \sim p \...
 magdaa  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com