Page 1 of 1

Formal Logic Problem

Posted: Sat Sep 15, 2012 12:24 pm
by kev1389
Which inferences (if any) can be deduced from the following statement:

A ---> B <--- C

Re: Formal Logic Problem

Posted: Sat Sep 15, 2012 1:48 pm
by bp shinners
kev1389 wrote:Which inferences (if any) can be deduced from the following statement:

A ---> B <--- C
If I've got your terminology right, we could rewrite that as:
A->B
C->B

or

~B->~A
~B->~C

so

~B->~A and ~C
A or C->B

~A-s-~C (Some things that are not A are also not C)