hfleysher
hfleysher
18.07.2019 • 
Mathematics

From language, proof, and logic chapter 13.
give a proof that uses ana con but only where the premises and conclusions of the citation are literals (including you may use taut con but do not use fo con in any of the proofs.
? x(cube(x) ? ? y(dodec(y) ? larger(x,
? x(dodec(x) ? ? y(tet(y) ? larger(x,
? xdodec(x)

? x(cube(x) ? ? y(tet(y) ? larger(x,

Solved
Show answers

Ask an AI advisor a question