logowanie

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

Teoria mnogości, zadanie nr 4435

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

geometria
postów: 863
2016-04-07 10:01:09

Podaj konkretne funkcje zdaniowe swiadczace o tym, ze ponizsze zdania formalne nie sa tautologiami rachunku kwantykatoró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





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