Tutorial Contents
Tutorial Five:
Predicate Calculus: Tableaux

The
$
x
j
rule

Bad Mistakes and Technical Mistakes

Ticking

Finished Tableaux

Sequents

Soundness and Completeness

Proof of a syntactic sequent: example
More Tutorials
One
Two
Three
Four
Six
Seven
Eight
d
Exercise 5.2
1
To which of the following formulae can either the ¬
"
x
j
or the ¬
$
x
j
rule be applied, and with what result?
(i)
¬
$
x
$
y[Fx
®
Rxy]
(ii)
"
x¬
$
y[Fx
®
Rxy]
(iii)
Print this page