Tarski, Alfred (1901-1983)

Die Menge S aller Aussagen ist der Durchschnitt aller derjenigen Mengen, die alle Aussagenvariablen (elementaren Aussagen) enthalten und in Bezug auf die Operation der Implikations- und der Negationsbildung abgeschlossen sind.

(Quelle: Tarski (mit Łukasiewicz): Untersuchungen über den Aussagenkalkül.)

Außer dem gewöhnlichen System des Aussagenkalküls gibt es zahlreiche andere Systeme dieses Kalküls, deren Untersuchung lohnenswert ist.

(Quelle: Tarski (mit Łukasiewicz): Untersuchungen über den Aussagenkalkül.)

In den Forschungen, die den Aussagenkalkül betreffen, beschränkt man sich zuweilen auf diejenigen Aussagen, in denen kein Negationszeichen vorkommt. Dieser Teil des Aussagenkalküls kann als eine selbstständige deduktive Disziplin aufgefasst werden, die von uns beschränkter Aussagenkalkül genannt wird und noch einfacher als der übliche Aussagenkalkül ist.

(Quelle: Tarski (mit Łukasiewicz): Untersuchungen über den Aussagenkalkül.)