Discussion:
Quick but Urgent Question Regarding Deduction Theorem
(too old to reply)
Hashim Mir
2011-10-19 23:55:00 UTC
Permalink
Hi,

Are all three of the below equivalent statements? (by ded thm):



A,B |- C
<=> B |- A -> C
<=> A |- B -> C



Thanks in advance,
Hashim
Amir
2011-10-20 00:54:24 UTC
Permalink
Yes, they are.
Hi,
A,B |- C
<=> B |- A -> C
<=> A |- B -> C
Thanks in advance,
Hashim
Loading...