reguły wnioskowania iteRacj@: Rozumowanie “Ceniony historyk jest osobą uśmiechniętą. Piotr jest smutny. Zatem Piotr nie jest cenionym historykiem.” jest oparte na schemacie

	p⇒q, ¬q
a)		nie jest
	p

	p, q
b)		nie jest
	¬p

	p, q
c)		tak ?
	s

iteRacj@: już widzę, żadna z odpowiedzi nie jest poprawna