czy są prawdziwe ER: Zbadać czy podane funkcje zdaniowe są prawdziwe a) ∃ x∊R : sinx = 1/2 b) ∀ x∊R: ∃ y∊R: x² − y² = 0 c) ∀ x∊N: ∃ y∊Q: x − y = 1

	m		n
d) ∃ x∊R: ∀ n∊N\{0} : ∃ m∊N:		+		=x
	n		m

Jerzy: Wszystkie są prawdziwe. ( jeśli Q to zbiór liczb wymiernych )

Adamm: to nie są funkcje zdaniowe, ponieważ mamy tam kwantyfikator, zatem jest to zdanie !

Jerzy: Trafna uwaga, to są zdania.

PW: No właśnie, funkcja zdaniowa nie ma wartości logicznej, takiego pytania nie wolno stawiać.

ER: Tak przepisałam polecenie z kartek, które dostaliśmy na ćwiczeniach Widocznie prowadząca się pomyliła Dziękuję Wam za pomoc

ER: Czy dobrze zrobiłam zaprzeczenie do a) ∀ x∊R: sinx ≠ 1/2 ?

PW: Tak.

ER: A jak zrobić zaprzeczenie do b ?

Jerzy: Istnieje x ∊ R : dla każdego y∊R : x² − y² ≠ 0