logowanie

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

Matematyka dyskretna, zadanie nr 2065

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

czaki1990
postów: 5
2014-02-02 18:52:37

Witam serdecznie mam problem z dwoma zadaniami z rachunku predykantow podaje w formie jpg bo łatwiej tak zobaczyć dokładnie zadanie



przyjaciel
postów: 4
2014-02-03 00:06:46

8.3
(a) $\forall_{n \in \mathbb{N}} n \geq 0 $ kazda liczba naturalna jest nieujemna
$\forall_{x \in \mathbb{R}} x \geq 0 $ falszywa, bo nie jest prawda, ze kazda liczba rzeczywista jest nieujemna
(b) $\forall_{m \in \mathbb{N}}\exists_{n \in \mathbb{N}} x=2y$ jest falszywa, bo nie kazda liczba naturalna jest podzielna przez 2
$\forall_{x \in \mathbb{R}}\exists_{y \in \mathbb{R}} x=2y$ prawdziwa, bo po podzieleniu liczby rzeczywistej przez dwa, otrzymujemy liczbe rzeczywista

www.facebook.com/pages/Powiernik-żywych


przyjaciel
postów: 4
2014-02-03 00:15:55

8.5
(a) prawda; wystarczy wziac dowolne $r\leq 0$; niech na przyklad $r=-1$, wtedy implikacja jest prawdziwa, bo kazda liczba naturalna jest wieksza od $-1$
(b) po rozwiazaniu ukladu rownan, otrzymujemy $k=-\frac{29}{5}$, $s=\frac{12}{5}$; zatem falsz, bo $k$ nie przyjmuje wartosci w zbiorze liczb calkowitych
(c) wystarczy dla kazdego $n$ brac $k$, ktore nie jest naturalne; wowczas poprzednik implikacji jest falszywy, a zatem cala implikacja jest prawdziwa; wniosek - zdanie jest prawdziwe

www.facebook.com/pages/Powiernik-żywych

strony: 1

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





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