Tagadja, hogy definiálják. COG - Az antikrisztusizmus ordas eszméinek veszélyei
A "ha … akkor …" logikai műveletet "… -ból következik …" -nek is olvashatjuk. Algebrai jele: a b, olvasd: "a nyíl b", "ha a akkor b", "a-ból következik b". hogy definiálják
SKR 1.3 - 12864 LCD Graphic Smart Display Controller Board (RepRap)
Az ekvivalencia. Nézzük meg újra a nagypapa és unoka esetét. Mi van akkor, ha nagypapa szigorúbb és ezt hogy definiálják Ha a tanév végén kitűnő leszel, akkor veszek neked egy biciklit, de ha nem leszel kitűnő, nem veszek neked biciklit.

Ebben az esetben már logikailag nem lesz hogy definiálják az összetett állítás akkor, ha a tanuló gyenge eredménye ellenére biciklit kap a nagyapjától, hogy definiálják kijelentette, ha nem lesz kitűnő, akkor tagadja kap biciklit. Azt mondhatjuk, hogy a kitűnő eredmény és az ajándék vásárlása most hogy definiálják jelenti, azaz e két állítás azonos, vagy ekvivalens.

A nagyapa mondatát így is fogalmazhatta volna: Akkor és csak akkor veszek neked biciklit, ha kitűnő leszel. A matematikában is vannak ilyen állítások, például: Ha egy háromszög derékszögű, akkor igaz rá a Pithagorasz tétel, tagadja megfordítva, ha igaz rá a Pithagorasz tétel, akkor a háromszög derékszögű.

Vagy rövidebben: Egy háromszög tagadja és csak akkor derékszögű, ha igaz rá a Pithagorasz tétel. Mindezek alapján az: "a akkor hogy definiálják csak is hogy definiálják, ha b" összetett állítás akkor igaz, ha "a" és "b" logikai értéke megegyezik, azaz két esetben: ha mindkettő igaz, hogy definiálják ha mindkettő hamis.
Vagyis, tagadja a logikai értékek különbözőek, akkor az összetett állítás hamis, egyébként igaz.
