Kaan
New member
P ancak ve ancak q neye eşittir?
İki yönlü koşullu önerme p ⇔ q şeklinde yazılır ve “p ancak ve ancak q” şeklinde ifade edilir. İki yönlü koşullu önerme aynı zamanda p ⇒ q ile q ⇒ p koşullu önermelerinin “ve (∧)“ bağlacı ile bağlanmasıyla oluşan (p ⇒ q) ∧ (q ⇒ p) bileşik önermesine denktir.
İki yönlü koşullu önerme p ⇔ q şeklinde yazılır ve “p ancak ve ancak q” şeklinde ifade edilir. İki yönlü koşullu önerme aynı zamanda p ⇒ q ile q ⇒ p koşullu önermelerinin “ve (∧)“ bağlacı ile bağlanmasıyla oluşan (p ⇒ q) ∧ (q ⇒ p) bileşik önermesine denktir.