Question:
Førsteordens termer
Author: Renate KallandAnswer:
Minste bestanddelene av et førsteordens språk Eksempel i mengdelærespråket med signaturen <Ø; ∪, ∩; =, ∈ > - Termer: (x ∩ y), (Ø ∪ z), ((x ∩ y) ∪ z) - Ingen relasjonssymboler forekommer i førsteordens termer, termene referer til elementer i en mengde. - Man vil få uendelig mengde med termer, med endelig antall symboler i hver term.
0 / 5 (0 ratings)
1 answer(s) in total