Wyznacz wartość logiczną zdania KLM: ∀ x∊ℛ+ (log_0.5x < 1 ⇒x>1)

KLM: jak to rozwiązać

Saizou :

	1
log1/2x<1=log1/2
	2

	1
x>
	2

WueR:

	1
log1/2x < 1 ⇔ log1/2x < log1/2		⇔...?
	2

KLM: okej, a co dalej?

KLM: żeby zaprzeczyć, muszę sprawdzić czy z prawdy wyniknie fałsz, tak? jeżeli wyniknie − nie istnieje − zd. fałszywe, jeżeli nie −prawda. nie znam schematu rozwiązywania tego typu zadań.

KLM: proszę o wyjasnienie jak krok po kroku rozwiązyać tego typu problemy

WueR: Co Ty chcesz zaprzeczyc? Masz stwierdzic, czy prawda jest, ze: ∀x∊ℛ+ [x > 1/2 ⇒ x > 1]

KLM: czyli fałsz,tak?

WueR: Tak, to zdanie jest prawdziwe, chociaz to ja polecil to stwierdzic − wymagalbym rowniez dowodu.

WueR: Falszywe* oczywiscie.

KLM: czyli podaje konrargument, czyli np ²₃ , tak?

WueR:

	2
Tak. Bylebys tylko na kolokwium nie napisal "Zdanie falszywe.		" − tylko dodaj jakis
	3

stosowny komentarz do tego.

asia: dzięki, pierwszy rok i trochę się gubię, logika była 3 lata temu