home
blog
search
about
◐
table of contents
existential instantiation
2023-09-21
a
rule of inference
:
where
is a new constant symbol that has not appeared in the proof.