I’ve been trying to learn a computer program, ACL2, which is a kind of theorem prover, but I’ve dropped back to reading the logic text, Shoenfield, recommended in the program documentation. Eek! But I think I’ve finally got the distinction between syntax and semantics and will offer a simple example of the difference.
I’ve been trying to learn a computer program, ACL2, which is a kind of theorem prover, but I’ve dropped back to reading the logic text, Shoenfield, recommended in the program documentation. Eek! But I think I’ve finally got the distinction between syntax and semantics and will offer a simple example of the difference.