Immediate Inferences: Difference between revisions

From docs.reasonspace.com
Jump to navigation Jump to search
Line 3: Line 3:
=Converse=
=Converse=


In a universal negative (No S are P) or particular affirmative (Some S are P) proposition, you can reverse the two terms, and deduce another proposition of the same form (as shown below).
With a universal negative (No S are P) or particular affirmative (Some S are P) proposition, you can reverse the two terms, to deduce another proposition of the same form (as shown below).


{{Map|https://app.reasonspace.com/smaps/9796b938f3fa4db2a4fb6648eef7e792}}
{{Map|https://app.reasonspace.com/smaps/9796b938f3fa4db2a4fb6648eef7e792}}

Revision as of 10:57, 2 September 2024

An immediate inference is an inference in which a single premise necessitates a conclusion. There are a few such forms of inference, listed below:

Converse

With a universal negative (No S are P) or particular affirmative (Some S are P) proposition, you can reverse the two terms, to deduce another proposition of the same form (as shown below).

export?options%5Bembed%5D=true&options%5Bformat%5D=.png

Obverse

export?options%5Bembed%5D=true&options%5Bformat%5D=.png

Contrapositive

export?options%5Bembed%5D=true&options%5Bformat%5D=.png