Side 1 av 1

Førsteordens språk

Lagt inn: 20/03-2019 14:12
av Gjest_13
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 :)