Lause 1.34. Olkoot P ja Q lauseita. P ⇒ Q silloin ja vain silloin kun P