A (Logik)

A wird als Symbol für eine Aussage verwendet. A = A (»A ist gleich A«) ist die formelhafte Schreibweise für den Satz der Identität, A ≠ A (»A ist nicht gleich non-A«) für den Satz des Widerspruchs.