|
Tableaux
method for sentences, summary of
Tableaux,
predicate
Tableau
rules, applying more than once (summary)
Tableau
rules (summary)
Tableaux
rules for identity
Tableau
rules: which can I use?
Tautology
Test
1 for p.r.o.
Test
2 for p.r.o.
Test
3 for p.r.o.
Ticking
(identity rules)
Ticking
(predicate tableaux)
Ticking
(summary)
Ticking
in sentence tableaux
Transitive
Transitivity
Truth-functor,
definition of
Truth-functors
Truth-functors,
summary of truth tables
Truth-table
truth-tables,
drawing
Truth-values
Turnstile,
semantic
Turnstile,
syntactic
|