A (logika)

A ( logika)

- prvé písmeno latinského slova "affirmo" (tvrdím), ktoré v tradičnej predikátovej logike symbolicky označuje všeobecne kladný súd, napr. "Všetci ľudia sú smrteľní".

V modernej logike sa symbolicky zapisuje napr. takto: "(Ax)(Px -> Qx)" ( L55;168 L462;5).