Which inferences (if any) can be deduced from the following statement:
A ---> B <--- C
Formal Logic Problem Forum
-
bp shinners
- Posts: 3086
- Joined: Wed Mar 16, 2011 7:05 pm
Re: Formal Logic Problem
If I've got your terminology right, we could rewrite that as:kev1389 wrote:Which inferences (if any) can be deduced from the following statement:
A ---> B <--- C
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)
