Formal Logic

[kitmit2800]

Hi all! I’m going through the formal logic chapter of the LR Bible and just have a quick question.

I know when given “No As are B” or A B
We can infer A not B
A not B
A not B
And not B A

However since the original statement is reversible as a double arrow and also means “No Bs are A” or B A I’m wondering if the following inferences are also valid:

B not A
B not A
B not A
not A B

Thanks so much!

[Dave Killoran]

Hey,

Thanks for the question! Just fyi, for LRB users there's a specific section of the forum where many prior student questions have been answered, per chapter. That's at: viewforum.php?f=13

In the meantime, those are all inherent inferences and would be true. We just don't typically write those out since they are inherently the case. Also, the last two in each list you made are identical. Regardless, when A and B never overlap, any subset them that shows them not overlapping will also be true.

Thanks!