|
Closing
a branch of a sentence tableau
Closure
rule for identity
Closure
rules (summary)
Completeness
of the sentence tableaux system
Conclusion
Conditionals,
counter-factual
Conditionals,
translating
Conjunction
Connected
Connectedness
Consistency
Consistent
(beliefs)
Consistent
(sentences)
Constituent
sentences
Context,
attention to when applying tests for p.r.o.
Contingent
(belief)
Contingent
(sentence)
Contradiction
(belief)
Contradiction
(sentence)
Correctness
of sequents and validity of arguments
Counterexample
set (of an argument)
Counterexample
set of a semantic sequent
Counterexample
set of a syntactic sequent
Counterexample
to a semantic sequent (propositional)
Counterexample
to a sequent (predicate calculus)
Counter-factual
conditionals
Cross-reference,
ambiguity of
Cross-reference,
avoidance of
|