|
Scope
(predicate calculus)
scope
(propositional)
Scope
(Russell's theory of descriptions)
Scope
of quantifiers
Self-contradictory
(belief)
Self-contradictory
(sentence)
Semantic
sequents (propositional)
Semantic
theorem
Semantic
turnstile
Semantically
inconsistent
Semanticically
entails
Sentence
letters
Sentence
tableaux
Sentence
tableax, closing
branches
Sentence
tableaux method, summary of
Sentence
tableaux rules
Sentence,
declarative
Sentence-functors
Sequents
(predicate calculus)
Sequents
(propositional)
Short
cut
Showing
a sequent is incorrect (predicate calculus)
"Some"
Soundness
and completeness (predicate tableaux)
Soundness
and completeness (sentence tableaux system)
Soundness
of the sentence tableaux system
Stand-alone
sentences
Structure
(propositional)
Symmetric
Symmetry
Syntactic
sequents (propositional)
Syntactic
theorem
Syntactic
turnstile
Syntactically
entails
Syntactically
inconsistent
|