logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 3665

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

siuniaaaa
postów: 34
2015-10-11 23:21:10

muszę podać wartości logiczne i utworzyć ich negacje :
1) $\wedge k \in Z \vee n\in N $ $ k=n lub k=-n lub k=0$

2)$\wedge k \in R \vee n \in N \vee k \in K x=\frac{k}{n}$


odpowiedź:
1)$ \vee k \in Z \wedge n \in N k \neq n i k \neq -n i k \neq 0 $

2) $ \vee x \in R \wedge n \in N \vee k \in Z x \neq\frac{k}{n}$

i pytanie czy dobrze myślę? z góry przepraszam za wygląd wiadomości..


tumor
postów: 8070
2015-10-11 23:35:22

Kwantyfikatory to
\bigvee
\bigwedge
\forall
\exists
zależnie od tego, które stosujesz
$\bigvee$
$\bigwedge$
$\forall$
$\exists$

----

Musisz jeszcze podać wartości logiczne zdań. Podaj.

----

Natomiast zaprzeczenia można zrobić różnie, polecam zapamiętać metodę przeskakiwania kwantyfikatora przez negację. Przyjrzyj się, jak przeniesienie negacji z lewej strony kwantyfikatora zmienia ten kwantyfikator:

1)
$\neg \bigwedge_{k\in Z} \bigvee_{n\in N}(k=n \vee k=-n \vee k=0)$
$\bigvee_{k\in Z} \neg \bigvee_{n\in N}(k=n \vee k=-n \vee k=0)$
$\bigvee_{k\in Z} \bigwedge_{n\in N}\neg (k=n \vee k=-n \vee k=0)$
$\bigvee_{k\in Z} \bigwedge_{n\in N} (\neg(k=n) \wedge \neg(k=-n) \wedge \neg(k=0))$
$\bigvee_{k\in Z} \bigwedge_{n\in N} (k\neq n \wedge k\neq -n \wedge k\neq 0)$

2)
Zwracam uwagę, że w treści są literówki. :)
$\neg \bigwedge_{x\in R}\bigvee_{n\in N}\bigvee_{k\in Z}(x=\frac{k}{n})$
$ \bigvee_{x\in R}\neg \bigvee_{n\in N}\bigvee_{k\in Z}(x=\frac{k}{n})$
$ \bigvee_{x\in R} \bigwedge_{n\in N}\neg \bigvee_{k\in Z}(x=\frac{k}{n})$
$ \bigvee_{x\in R} \bigwedge_{n\in N} \bigwedge_{k\in Z}\neg(x=\frac{k}{n})$
$\bigvee_{x\in R} \bigwedge_{n\in N} \bigwedge_{k\in Z}(x\neq \frac{k}{n})$


Wiadomość była modyfikowana 2015-10-11 23:36:38 przez tumor

siuniaaaa
postów: 34
2015-10-11 23:53:52

faktycznie gapa ze mnie ... ;D

wartości to w 1 i 2 prawda. dobrze ?





tumor
postów: 8070
2015-10-12 07:32:59

W 1 prawda (wobec tego zaprzeczenie jest fałszem). Dla każdej liczby całkowitej różnej od zera k znajdziemy naturalną n, która będzie równa k lub przeciwna do k.

W 2 fałsz (wobec tego zaprzeczenie jest prawdą). Nie każda liczba rzeczywista da się przedstawić jako iloraz liczby całkowitej przez naturalną. Liczby niewymierne się nie dają.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj