[ 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 
 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
 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
 Rozdzielność koniunkcji względem alternatywy
Otrzymać alternatywę 8 zdań: (p q) (r ...
 kluczyk  1
 Negacja zdania - zadanie 8
Witam. Mam zapisać negację zdania i określić jego wartość logiczną: \forall_{x \in R} \exists_{y \in R} \hspace {(x+y \le x^{2}}) moja negacja: \exists_{x \in R} \forall_{y \in R} (x+y > x...
 Notrem  1
 Zaprzeczenia zdań - zadanie 3
Witam! Mam polecenie do zadania : Podaj prawo negacji implikacji, a następnie znajdź zaprzeczenia zdań: (część 1 polecenia umiem, mam problem z 2) np. Jeżeli 2|5, to kwadrat ma cztery przekątne. Czy zaprzeczenie tego zdania będzie wyglądało tak ? ...
 Holbi  1
 Negacja i implikacja
W jaki sposób mozna zapisać alternatywe , koniunkcje i kreske Sheffera za pomoca negacji i implikacji ?? Siedze juz nad tym godzine i nic nie wychodzi...
 undauted  8
 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
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com