Implikáció
Bevezető példa: Adott a következő két egyszerű állítás: A: Az ABCD négyszög téglalap. B: Az ABCD négyszög átlói egyenlő hosszúak. Képezzünk belőlük egy összetett állítást a „Ha …, akkor „ szerkezettel: C: Ha az ABCD négyszög téglalap, akkor az ABCD négyszög átlói egyenlő hosszúak.” Rövidebben: C = Ha A, akkorTovább