Preskočiť na obsah

A (tradičná logika)

z Wikipédie, slobodnej encyklopédie

A (prvé písmeno latinského slova affirmo - tvrdím) je v tradičnej logike symbol pre kladný všeobecný výrok tvaru: 'Všetky S sú P'; stručne 'S a P' (napr. 'Všetci ľudia sú smrteľní').

V modernej logike sa symbolicky zapisuje napr. takto: "(Ax)(Px je > Qx)"

Externé odkazy

[upraviť | upraviť zdroj]
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.