#0
p ⇔ q (çift yönlü koşul) önermesi ne zaman doğrudur?