FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

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).



A (logika)>