SEARCH
You are in browse mode. You must login to use MEMORY

   Log in to start


From course:

Utsagnslogikk og Bevis

» Start this Course
(Practice similar questions for free)
Question:

Signatur

Author: Renate Kalland



Answer:

De ikke logiske symbolene utgjør signaturen. Skrives som et tuppel av tre mengder slik: <a,b,c,… ; f,g,h,…. ; R,S,T,….> Først er det konstantsymbolene, så funksjonssymbolene og til slutt relasjonssymbolene


0 / 5  (0 ratings)

1 answer(s) in total