Znaleziono 125 wyników

autor: LipaMat
28 paź 2014, o 22:54
Forum: Logika
Temat: Zdania jako formuły rachunku zdań.
Odpowiedzi: 17
Odsłony: 6011

Zdania jako formuły rachunku zdań.

Mógłby Pan wyjaśnić mi jakąś zasadę, kiedy dany kwantyfikator powinien być poza "głównymi nawiasami" a kiedy w środku tych nawiasów? Wtedy łatwiej mi będzie robić zadania dobrze od "a do z"
autor: LipaMat
28 paź 2014, o 22:31
Forum: Logika
Temat: Zdania jako formuły rachunku zdań.
Odpowiedzi: 17
Odsłony: 6011

Zdania jako formuły rachunku zdań.

Dziękuję za wyczerpującą odpowiedź, czuję, że jestem coraz bliżej zrozumienia tego. 3)Wydaje mi się, że powinno być to dobrze. (\exists x)((\exists k)(x= 2k) \wedge (\forall y)((\exists m)(y= 2m) \rightarrow y\le x)) X jest liczbą pierwsza: (\neg \exists m>1, n>1) x = m \cdot n Istnieje liczba, któr...
autor: LipaMat
28 paź 2014, o 20:58
Forum: Logika
Temat: Zdania jako formuły rachunku zdań.
Odpowiedzi: 17
Odsłony: 6011

Zdania jako formuły rachunku zdań.

Dziękuję bardzo za odpowiedź. 3) (\forall x)(\exists m)(x\le 2m+1) \rightarrow [(\exists y)(\exists k)(y\le 2k+1)] \wedge (x \le y) 7) [(\forall x)(\exists y) x^2\le y] \rightarrow (x>0) I mam kilka pytań: Czy \neg (\exists x)= (\neg \exists x) ? Nie mam pojęcia jak naprawić mój błąd zwstawieniem pr...
autor: LipaMat
28 paź 2014, o 16:30
Forum: Logika
Temat: Zdania jako formuły rachunku zdań.
Odpowiedzi: 17
Odsłony: 6011

Zdania jako formuły rachunku zdań.

Witam, chciałbym uzyskać małą pomoc z zadaniem dotyczącym zapisania zdania jako formuły rachunku zdań. Mam kilka zdań zrobionych, ale nie wiem, czy metodyka, na której się opieram jest dobra. 1) x jest podzielnikiem y (\forall y)(\exists x)(\exists k)(y=xk) 2) x jest liczbą pierwszą (\forall x)[\neg...
autor: LipaMat
28 paź 2013, o 12:42
Forum: Funkcje logarytmiczne i wykładnicze
Temat: Rownania logarytmiczne i wykladnicze
Odpowiedzi: 1
Odsłony: 223

Rownania logarytmiczne i wykladnicze

Witam forumowiczow. Mam niemaly problemik z niekotrymi zadaniami, licze na jakas podpowiedz pozdrawiam.

\(\displaystyle{ 15^{\log_5 3} \cdot x^{\log_5 9x+1} = 1\\
7 \cdot 3^{x+1} - 5^{x+2} = 3^{x+4} - 5^{x+3}}\)


Z gory dziekuje i przepraszam za pomylki ale pisze na telefonie.