Výrok
Z Wikipédie
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]