szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 8 wrz 2009, o 19:53 
Użytkownik
Avatar użytkownika

Posty: 7
Lokalizacja: Warszawa
Mam takowe zadanie:

Podaj prawo negacji koniunkcji, a następnie znajdź zaprzeczenia zdań

2|8\wedge \sqrt2\leqslant \sqrt3

Prosiłbym o pomoc w rozwiązaniu i wytłumaczenie :?:
Góra
Mężczyzna Offline
PostNapisane: 8 wrz 2009, o 20:28 
Użytkownik
Avatar użytkownika

Posty: 370
Lokalizacja: legnica
Prawo negacji koniunkcji to I prawo de Morgana i brzmi ono:
\neg (p \wedge q) \Leftrightarrow ( \neg p \vee  \neg q)
inaczej mówiąc negacja koniunkcji jest równoważna alternatywie negacji.
a Twój przykład:
\neg (2|8\wedge \sqrt2\leqslant \sqrt3) \Leftrightarrow  \neg (2|8) \vee  \neg (\sqrt2\leqslant \sqrt3) \Leftrightarrow 2 \nmid 8  \vee \sqrt2 > \sqrt3
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 redukcja zapisu, zaprzeczenia
Tam gdzie to możliwe, skrócić zapis , a w przypadku zapisu skróconego podać pełny zapis z dwoma kwantyfikatorami. Określić wartość logiczną zdania i zapisać jego zaprzeczenie: a) ∀ x∊Z ∃ y∊Z; 2x−y=0 b) ∃ y∊Z ∀x∊Z; 2x−y=0 c)∃ x,y∊Z; 2x−y=0 d) ∀ x,...
 nelly321  0
 zaprzeczenia zdan w logice :(
prosze o pomoc potrzebuje tylko zaprzeczenie sam wynik (zrobiłem ale chce sprawdzic czy dobrze bo nie długo mam zaliczenie z logiki ,ktos by był wdzieczny z gory dziek...
 dark1309@o2.pl  6
 udowodnić implikacje/zaprzeczenia zbiorów
Hej mam takie zadanie ale nie wiem jak udowonić: Niech A będzie pozbiorem \RR. Porównać następujące zdania (które implikują inne, które zaprzeczają innym...): 1. \forall x \in ...
 gocha94  3
 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
 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 (\neg (\neg (\neg p))) - '1' - prawda. 2.[...
 haszkar  1
 Zaprzeczenia wyrażeń bez uzycia symbolu negacji
Napisać zaprzeczenia poniższych wyrażeń bez użycia symbolu negacji: a) (\exists y N) (\forall x ...
 Axadiw  7
 kwantyfikatory zaprzeczenia zdań
Napisać zaprzeczenia zdań: a) \forall_{x \in X} \forall_{y \in Y}\exists_{z \in Z}\forall_{t \in T}: (A \vee (B \wedge C) b) \forall_{x \in X} \exists_{y \in Y}\forall_{z \in Z}\forall_{t \in T}:...
 Mili13  4
 Zaprzeczenia zdań - zadanie 2
Proszę o sprawdzenie następujących zaprzeczeń: 1. \neg (\bigvee\limits_{a>0} \bigwedge\limits_{b<a} b^2>a \Rightarrow f(b)<2f(a))\iff (\bigvee\limits_{a>0} \bigwedge\limits_{b<a} b^2>a&#...
 Karaal  3
 Rozpoznanie koniunkcji, implikacji, i równoważności
Wśród poniższych zdań złożonych rozpoznaj koniunkcję, alternatywę, implikację i równoważność. Oceń wartość logiczną tych zdań. Zdanie jest takie: (1+2)^{2} = 1^{2}+2^{2} \qquad 3-2=(2-3)^{2} I nie wiem j...
 R33  1
 Negacja zdania
x jest liczbą nieparzystą \Leftrightarrow x nie jest liczbą parzystą. To nie jest prawdą. Wydaje mi się, że to jest tak jak napisał Silicium p[/tex...
 matematix  22
 Elementy logiki - wyprowadzenie koniunkcji, alternatywy itd.
Możemy jak najbardziej zadać semantykę tych spójników w rachunku zdań czy też logice pierwszego rzędu. Nie ma tu żadnych czarów Aha, a jako lekturę polecam np. arty...
 math questions  12
 Negacja kwantyfikatora
Mam zanegowac wyrażenie: \displaystyle\forall_{x} \displaystyle\exists_{y}(A(x) \wedge (B(y) \Rightarrow \neg Y(x))) Kompletnie nie wiem jak to sie robi. Proszę również o teorię...
 mickula  3
 Zaprzeczenia - logika
O co chodzi z tymi zaprzeczeniami? Przykładowo mam do zaprzeczenia: p \vee \left( q \Rightarrow r\right) albo \left( p \vee r\right) \wedge \left( q \Leftarrow \left r\right) ...
 bobobob  10
 zaprzeczenia zdań
zaprzeczenie zdania \exists x \forall y( \phi (x,y) \Rightarrow \psi (x,y)) oraz udowodnienie ze zdanie jest falszywe: \forall x \in \mathbb {R} \exists y \in \mathbb {R} (xy...
 baracuda2  9
 negacja zdania - zadanie 4
\left \Rightarrow \left( P \Rightarrow R\right) mam takie oto zdanie i muszę zapisać jego negację. z tyłu książki widnie...
 DeLuxe1  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com