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