Mantık Terimleri Sözlüğü
önbileşen
Bir koşullunun birinci anabileşeni; p => q koşullusunun önbileşeni p dir. || Anl. önerti.