Formal logic.txt

Synonyms of some
- Some
- Many
- At least some
- At least one
- A few
- A number
- Several
- Part of
- A portion
Diagram some W's are not Z's
- W<------->notZ
- With S above
Diagram
Not all T's are V's
- T<------->notV
- With S above
Define some

At least one, possibly all
Define most

A majority, possibly all
Diagram
Most W's are not Z's
- W------->notZ
- With M
Synonyms of most
- Most
- A majority
- More than half
- Almost all
- Usually
- Typically
Is there a contrapositive for some and most statements?

No, because they do not necessarily encompass an entire group, only the arrows like ALL have contrapositive.
Diagram
No X are Y
- X------>notY
- X<--/-->Y
What do you look for when making inferences in formal logic?

The weakest link and relevant negativity
Does two double not arrows in a row produce an inference?

No
What do some and most need to make an inference?

Arrows that encompass all or none
What is the one case when two most produce an inference and what is it?

A<----m---- B ----m---->C

Some A's are C's

Author

spedrasr05

21021

Card Set

Formal logic.txt

Description

Updated

2010-05-28T10:03:50Z

Show Answers