Teoria mnogości, zadanie nr 4435
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / Rozwiązanie |
| geometria postów: 865 |  2016-04-07 10:01:09Podaj konkretne funkcje zdaniowe swiadczace o tym, ze ponizsze zdania formalne nie sa tautologiami rachunku kwanty katorów. 1) $\forall_{y}$ $\exists_{x}$ p(x,y)$\Rightarrow$ $\forall_{x}$ p(x,x) 2) $\forall_{x}$ p(x,x) $\Rightarrow$ $\forall_{x}$ $\forall_{y}$ p(x,y) |
| tumor postów: 8070 | 2016-04-07 10:10:58 1) $p(x,y$) wystarczy rozumieć jak $x\neq y$, dziedzinę wziąć co najmniej dwuelementową 2) $p(x,y)$ teraz rozumiemy jako $x=y$, dziedzina również co najmniej dwuelementowa. |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj