Thursday, April 12 2001
Quiz 9
Name: _______________________________
It means "Gamma entails S", i.e., when all the formulas in Gamma are
true, also S is true.
(Lecture).
Predicate logic is propositional logic plus predicates and quantifiers,
(Lecture).
It means that there is a number x, such that all numbers (including
itself) is less or equal than it. This is true, since 0 is
such a number.
(Lecture).
Intuitionistic, constructive, modal, fuzzy, linear...
(Lecture).
1. Base clause(s).
2. Recursive clause(s).
3. Final clause.
(Lecture).