First Page | Document Content | |
---|---|---|
Date: 2012-09-28 07:24:30 | Diagrams Definition A literal is an atomic sentence or the negation of an atomic sentence. If M is a model in a language L, then the collection of LM -literals true in M is called the diagram of M and written Diag(M). ThAdd to Reading ListSource URL: staff.fnwi.uva.nlDownload Document from Source WebsiteFile Size: 106,75 KBShare Document on Facebook |