Uzasadnij że Mela: Uzasadnij że a * b jest liczbą niewymierną ⇒ a jest liczbą niewymierną lub b jest liczbą niewymierną.

Saizou : Załóżmy dla dowodu nie wprost, że a jest wymierne i b jest wymierne, czyli

	m
a=		, gdzie (m,n)=1
	n

	p
b=		, gdzie (p,q)=1
	q

zatem

	m		p		mp
ab=		*		=		∊ ℚ, czyli sprzeczność, bo ab ma być niewymierne
	n		q		nq

Mela: Dlaczego a i b ma być wymierne, skoro w implikacji jest, że a jest niewymierne lub b jest niewymierne

Janek191: √6 = √2*√3

Mela: Janek 191 jak to się ma do mojego zadania?

jc: Zdanie nie a ⇒ nie b lub nie c jest równoważne ze zdaniem b i c ⇒ a Zamiast pierwszej implikacji, dowodzimy drugą.