[ 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 
 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
 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
 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
 Sprawdzenie zrobionych przykładów - zaprzeczenia.
Co do koniunkcji to chodzi o to, żeby nie pisać znaku zaprzeczenia, tylko zaraz po znaku równoważności pisać samo zaprzeczenie tak? \neg \left[ 4 ^{2}=16 \wedge \left( -4\right) ^{2}=16 \ri...
 kubak94  3
 negacja implikacji
aha a jak bedzie brzmiało twierdzenie odwrotne do danego?? Zamień miejscami fragmenty znajdujące po "Jeżeli"........."to"............ ...
 mareek1993  17
 Rozkład koniunkcji względem alternatywy, albo elim. kwantyf.
Cześć! Mam zadanie, w którym mam udowodnić, że \bigcap_t ( A \cup F_t ) = A \cup \bigcap_t F_t. Dochodzę do momentu, w którym po prostu nie wiem, co dalej: x \in \left[ \bigcap_t (A\cup F_t &#4...
 trd  4
 Zapisz w formie koniunkcji zdań
Zapisz w formie koniunkcji zdań liczby 12 i 36 są wielokrotnościami liczby 4. Zadanie proste ale nie wiem jak zapisać tą wielokrotność ?? czy to sie jakoś zapisuje? ...
 lusia90  2
 Sformułowanie zaprzeczenia równoważności- sprawdzenie
Czesc. Mialem sformulowac zaprzeczenie rownowaznosci i wyszlo mi takie cos: \neg (p \Leftrightarrow q) \Leftrightarrow \neg Wolphram pokazuje ze jest to ta...
 kamel_94  3
 Zaprzeczenia problem
Mam problem z zadaniem i prosiłbym o wytłumaczenie zad Podaj zaprzeczania zdań i oceń wartość logiczna zaprzeczeń. A) \sqrt{3} B) -8 \cdot (-1) \neq 2 \cdot 4 C) 1...
 DeViL-WaR  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com