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). Th

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). Th Add to Reading List Source URL: staff.fnwi.uva.nl Download Document from Source Website File Size: 106,75 KB Share Document on Facebook