$A∩B=ϕ⇔B⊆A^t$ olduğunu gösteriniz

Question

A\cap B=\phi \Leftrightarrow B\subseteq A^{t}A∩B=ϕ⇔B⊆A​t

Answer 1

İpucu:

Kümelerde kesişim, tümleme, eşitlik ve altküme kavramlarının nasıl tanımlandığını bildiğini varsayıyorum.

$$x\in A\equiv p$$ ve $$ x\in B\equiv q$$ dersek $$ x\in\emptyset \equiv 0$$ ve $$ x\in\setminus A\equiv p'$$ olur. Geriye sadece

$$[(p\wedge q)\Leftrightarrow 0]\Leftrightarrow (q\Rightarrow p')$$ bileşik önermesinin totoloji olduğunu göstermek kalıyor. Bu da zor olmasa gerek.

Comments

Teşekkür ederim hocam