Discussion:
A1Q3
(too old to reply)
James Chuong
2011-09-27 20:03:33 UTC
Permalink
I am having trouble understanding how to solve this question. Am I
supposed to use propositional induction to show that every valid formula
will be valid after substituting it with theta?

Thanks.
Omer Beg
2011-09-28 15:29:30 UTC
Permalink
I am having trouble understanding how to solve this question. Am I supposed
to use propositional induction to show that every valid formula will be valid
after substituting it with theta?
Yes. The idea is correct.
You can also try contrapositive.
Jonathan Buss
2011-09-28 15:35:14 UTC
Permalink
Post by James Chuong
I am having trouble understanding how to solve this question. Am I
supposed to use propositional induction to show that every valid formula
will be valid after substituting it with theta?
Yes.

Except that I'm not sure what you mean by "propositional induction".
It's just induction.
Post by James Chuong
Thanks.
You're welcome.

Jonathan Buss

Loading...