Logika, zadanie nr 1740

Autor	Zadanie / Rozwiązanie
323232 postów: 22	2013-11-22 18:56:41 1) Zapisać w języku symbolicznym następujące zdania sformułowane w języku naturalnym : a) Kwadrat liczby wymiernej jest liczbą wymierną. b) Żadna liczba rzeczywista nie jest mniejsza od samej siebie. c) Jeżeli liczba naturalna dzieli iloczyn dwóch liczb naturalnych i jest względnie pierwsza z jedną z tych liczb, to dzieli drugą liczbę. d) Każda liczba rzeczywista z przedziału <-1,1> jest wartością funkcji sinx. e) Każdy odcinek ma dokładnie jeden środek. 2) Zapisać w języku symbolicznym następujące zdania sformułowane w języku naturalnym i ocenić ich wartość logiczną: (1) (a) Dla każdego odcinka na płaszczyźnie E istnieje koło zawierające ten odcinek. (b) Istnieje koło zawierające każdy odcinek na płaszczyźnie E. (2) (a) Dla każdego trójkąta płaszczyzny E istnieje okrąg, który można opisać na tym trójkącie. (b) Istnieje okrąg, który można opisać na każdym trójkącie płaszczyzny E. (3) (a) Istnieje prosta, która przechodzi przez każde dwa punkty płaszczyzny E. (b) Dla każdych dwóch punktów płaszczyzny E istnieje prosta przechodząca przez te punkty. (4) (a) Dla każdego odcinka na płaszczyźnie E istnieje punkt, który jest jego środkiem. (b) Istnieje punkt, który jest środkiem każdego odcinka na płaszczyźnie E.

mimi postów: 171	2013-11-22 19:59:24 a.)$\forall_{x \in \mathbb{Q}} x^{2} \in \mathbb{Q}$ b.)$\forall_{x \in \mathbb{R}} x\ge x$ c.)$\forall_{a, b, c \in \mathbb{R}} a\|bc \wedge NWD(a,b) = 1 \Rightarrow a\|c$ d.)$\forall_{y \in <-1; 1>} \exists_{x \in \mathbb{R}} \sin{x} = y$

strony: 1

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