P Q neye eşittir?
P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir. Totolojiler ve çelişkilerde olduğu gibi mantıksal eşdeğerlilik de P ve Q' nun yapılarının sonucudur. İki önerme arasında oluşabilecek bir diğer yapıya-bağımlı ilişki de mantıksal anlamdır.
P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir. Totolojiler ve çelişkilerde olduğu gibi mantıksal eşdeğerlilik de P ve Q' nun yapılarının sonucudur. İki önerme arasında oluşabilecek bir diğer yapıya-bağımlı ilişki de mantıksal anlamdır.