Variable in der Aussagenlogik, die für eine Aussage oder auch für ihren Wahrheitswert steht.

Aussagenvariablen gehören zu den Grundzeichen des Aussagenkalküls, aus denen mit Hilfe logischer Konnektoren zusammengesetzte Ausdrücke aufgebaut werden.