A (logika)
Z Wikipédie
A je 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 je > Qx)"
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok