Нэвтрэх хэсэг Нэвтрэх
Үгүйсгэлийн утга зүй

Хэвлэлийн нэр: МУБИС, ГХС-ийн олон улсын эрдэм шинжилгээний хурлын эмхэтгэл

Зохиогч:  Б.Лхасүрэн

Хамтран зохиогч:

Хэвлүүлсэн огноо: 2008-09-15

Хуудас дугаар: 7-15

Өгүүллийн хураангуй:

Negation is generally included with the logical connectives because it is truth-functional, being defined by a truth table. Simply, negation combines with a single proposition to reverse its truth value.The internal structure of a simple proposition always contains at least the predicate and its arguments. With quantifiers and negation, symbols which combine with a propositional form as a whole are added to the logical forms. This is represented by placing the symbols for negation and quantification at the beginning of the propositional form. From the form of the sentences, it is clear which meaning is expressed, and which order is required for negation and the quantifier. A sentence can be ambiguous, but a logical form represents a particular meaning and cannot be ambiguous.  

Өгүүллийн төрөл: Их сургуулийн эрдэм шинжилгээний бичиг

Өгүүллийн зэрэглэл: Дотоод

Түлхүүр үг: #Semantics of negation #logical forms #truth value #proposition #(existential) quantifier #scopal expressions and reference to time

Өгүүлэл нэмсэн: Б.Лхасүрэн