Výrok: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d robot Pridal: sv |
spojené s Výrok (leibniz, g. w.)-ei |
||
Riadok 1: | Riadok 1: | ||
'''Výrok''' v [[logika|logike]] označuje [[matematický výraz|výraz]] nadobúdajúci [[pravdivostná hodnota|pravdivostnú hodnotu]]. Synonymom je ''súd''. |
|||
Leibniz… spoznal rozdiely medzi existenčnými výrokmi (výroky formy 'x existuje') a subjekt-predikátovými výrokmi, ale tieto rozdiely nevedel… podať systematicky. [http://ii.fmph.uniba.sk/~filit/fvv/vyrok_leibniz_g_w-ei.html] |
|||
{{stub}} |
{{stub}} |
Verzia z 13:00, 23. marec 2007
Výrok v logike označuje výraz nadobúdajúci pravdivostnú hodnotu. Synonymom je súd.
Leibniz… spoznal rozdiely medzi existenčnými výrokmi (výroky formy 'x existuje') a subjekt-predikátovými výrokmi, ale tieto rozdiely nevedel… podať systematicky. [1]