"only
if"
"or",
exclusive
"or",
inclusive
p.r.o.'s
Possibility
Predicate
rules (summary)
Predicate
tableaux
Predicates
Predicates
and truth-functors
Predicates,
2-place etc
Premise
Primary
reference
Propositional
calculus, language of
Propositional
language
Propositional
rules (summary)
Purely
referential occurrences of designators
Quantification,
domain of
Quantifiers
Quantifiers,
existential
Quantifiers,
universal
Quantifiers,
vacuous
Reflexive
Reflexivity
Relations,
binary
Relations,
formalising claims about
Relations,
tableau proof example
Right
hand rule for identity
Rules:
which tableau rules can I use?
Rule VII
Russell's
theory of descriptions |