Subjunktion (Logik)
Subjunktion [lateinisch subiunctio »Anfügung«] die, -/-en, Logik:
ein zweistelliger Junktor der Aussagenlogik, mit dessen Hilfe zwei Aussagen A und B zu einer neuen Aussage »Wenn A, dann B« (symbolisch: A ⟶ B oder A ⊃ B) verknüpft werden.
Informationen zum Artikel
Quellenangabe