En del andre begreper fra logikk

jfremstad / matematisk_ordliste

Matematisk ordliste

https://matematikkradet.no/ordliste

Creative Commons Attribution Share Alike 4.0 International

33 stars 8 forks source link

Closed ninist closed 3 years ago

ninist commented 4 years ago

Skolemization Skolem function Skolem constant Reification Reify Horn clause Clause Conjunctive normal form Satisfiable Entail

bervinator commented 3 years ago

Følgende forslag videresendes til prosjektgruppen:

skolemisering
skolemfunksjon
skolemkonstant
reifisering
reifisere
klausul
hornklausul
konjunktiv normalform

Jeg tviler på at de hindres i sin ferd til ordlisten. Tråden holdes åpen helt til "satisfiable" og "entail" er oversatt. Mange takk for forslag!