Bizonyítási módszerek, matematikai logika

∀

"minden" vagy "bármely"

∃

"létezik" vagy "van olyan"

negáció

tagadás

∧

konjunkció (és)

∨

diszjunkció (vagy)

⇒

implikáció (ha A, akkor B) (akkor hamis, ha A igaz és B hamis)

⇔

ekvivalencia (A⇒B és A⇐B) (akkor igaz, ha A és B logikai értéke azonos, különben hamis)

¬(A∧B)

¬A∨¬B

¬(A∨B)

¬A∧¬B

¬(A⇒B)

A∧¬B

¬(A⇔B)

A⇔¬B

¬minden…

van olyan …, ami nem