Førsteordens språk

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Førsteordens språk

Innlegg Gjest_13 » 20/03-2019 14:12

Hei, Jeg trenger hjelp med en oppgave her:

Er det alltid uendelig mange formler i et førsteordens språk?

Fordi jeg vet at det alltid er uendelig mange termer, fordi ethvert førsteordens språk inneholder en uendelig, tellbar mengde av variabler, som utgjør en term. Men her er jeg usikker på om det alltid er uendelig manger formler?

Det ville ha vært fint om noen kunne hjelpe med her :)
Gjest_13 offline

Hvem er i forumet

Brukere som leser i dette forumet: Ingen registrerte brukere og 13 gjester