szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 8 wrz 2009, o 18: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 19: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 
 Suma, iloczyn, negacja
Mam problem z zadaniem: 1) Zdefiniuj sumę przy pomocy iloczynu i negacji; zdefiniuj iloczyn przy pomocy sumy i negacji....
 Mariusz_Sw  3
 Logika: negacja.
Mam problem, mianowicie czy podane wyrażenie : ~(~pvq) to to samo co: a) (pv~q) b) (p^~q) rozwiejcie moja wątpliwość.......
 Anonymous  3
 Wzajemna definiowalność n-arg. koniunkcji i alternatywy
Chciałbym się poradzić w sprawie dowodu wzajemnej definiowalności n-argumentowej koniunkcji i alternatywy w klasycznym rachunku zdań. Używając tautologii klasycznego rachunku zdań i reguły podstawiania mam udowodnić: \neg(\neg p_{1...
 marcel2013  0
 Negacja koniunkcji
Znajdź zaprzeczenie zdań 2 nie jest liczbą złożoną i 5 nie jest liczbą parzystą. Słowik ładnie śpiewa i słoń jest większy od kozy. Nie jestem pewien czy mam dobrze: 2 jest liczbą złożoną lub 5 jest liczbą parzystą Słowik nie ładnie śpiewa lub słoń ni...
 krakowiak01  1
 równoważność i negacja, a alternatywa
Jak udowodnić, że za pomocą równoważności i negacji nie można zdefiniować alternatywy??...
 KasienkaG  4
 Alternatywa rozłączna poprzez negacje koniunkcji alternaty
Witam serdecznie ! Głowię się od jakiegoś czasu jak zrobić takie zdanie: Wyraź alternatywę rozłączną poprzez negację koniunkcji alternatywy zwykłej na A i B i przyznam się szczerze, że nie wiem jak mam takie coś zrobić ;/ doszedłem jedynie do takie...
 allende  1
 Wartość koniunkcji w rachunku lambda
Nie wychodzi mi obliczanie wartości koniunkcji w rachunku lambda. Mam: T = \lambda x . \lambda y.x F = \lambda x . \lambda y . y and = \lambda x . \lambda y . xyF ...
 Astat  1
 pare zadan z logiki (przeciwstawianie i negacja)
1. Podaj formuły równoważne poniższym, w których jedynymi operatorami logicznymi będą negacja i alternatywa, a jedynym kwantyfikatorem będzie kwantyfikator ogólny. a. \exists x\in A : P(x) \rightarrow Q(x)...
 kierzniak  0
 Napisz zaprzeczenia zdań - zadanie 2
Napisz zaprzeczenia zdań i oceń wartość logiczną zaprzeczeń: 1) Liczba 7 jest liczbą naturalną lub liczbą pierwszą I robie to w ten sposób że korzystam z prawa De morgana: \neg (p \wedge q) \Le...
 miketyson  6
 Które zdanie negacją?
Które z poniższych zdań są negacją zdania: "Wynikiem obliczeń jest 2 albo 3" a) Wynikiem nie jest ani 2 ani 3 b) Wynikiem nie jest 2 lub nie jest 3 c) Wynikiem nie jest 2 i nie jest 3 b) \sim 2 ...
 Barcelonczyk  3
 Negacja formuł zdaniowych
Witam, mam podaną formułę zdaniową wyrażającą się: p \vee q \vee r \Rightarrow \neg p \Rightarrow (q \vee r) \wedge \neg p Moim zadaniem jest zanegowanie jej i znalezienie formuły równoważnej, w której negacja w...
 HoFaN  3
 Negacja wyrażenia bez użycia symbolu negacji
\bigwedge\limits_{x\in R}\bigvee\limits_{y\in N}\left\{ \left \wedge \left( 0 \ge y > x\right) \right\} Wcześniej zamieniłem implikacj...
 Shinen  7
 Negacja zdań logicznych
Mogłby mi ktos pomoc w tych zadaniach? Podaj negacje zdan: a) \bigwedge\limits_{n\in N} b) \bigvee\limits_{x}(p(x)\wedge q(x))\Rightarr...
 happyname  1
 implikacja za pomoca negacji i koniunkcji
czy ktos moze mnie nakierowac na pomysl , w jaki sposob przedstawic implikacje za pomoca negacji oraz koniunkcji? wielkie dzieki za pomoc ...
 us3r  8
 Rozdzielność koniunkcji względem alternatywy - zadanie 2
Witam, Mam 3 prawdziwe zdania złożone: p \vee q, r \vee s, t \vee \neg p Teraz mam pytanie. Jak zastosować prawo rozdzielności koniunkcji względem alternatywy, aby otrzymać alternatywę ośmiu zdań?...
 SlawekZPL  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com