Die Seiten in diesem Abschnitt präsentieren nur die allerelementarsten Grundbegriffe der Aussagen- und Prädikatenlogik, die für die Linguistik relevant sind.