A ( logika tradičná)
- symbol pre kladný všeobecný výrok tvaru: 'Všetky S sú P'; stručne 'S a P'; z affirmo (lat.) - 'tvrdím' ( L645;27).