førsteordensudsagn
Et førsteordensudsagn er i matematikken en formel, hvori enhver variabel står under en kvantor. Læs mere i Den Store Danske prædikatslogik logik
Et førsteordensudsagn er i matematikken en formel, hvori enhver variabel står under en kvantor. Læs mere i Den Store Danske prædikatslogik logik