logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » 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 iwi駍ki      o serwisie | kontakt   drukuj