A (tradičná logika)

z Wikipédie, slobodnej encyklopédie
(Presmerované z A (logika tradičná))
Skočit na navigaci Skočit na vyhledávání

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ť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Pozri aj[upraviť | upraviť kód]