Basictactics - PPT Presentation
Whenthegoalis
usetactic
verysimple
autotautoorfirstorder
pq
split
pq
leftorright
pq
intro
p
intro
pq
split
anassumption
assumption
forallxp
intro
existsxp
existst
TousehypothesisH ID: 253684
Whenthegoalis...
...usetactic
verysimple
auto