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