Category:Immediate inference
![]() | Computing portal |
Here is a list of articles in the Immediate inference category of the Computing portal that unifies foundations of mathematics and computations using computers.
Pages in category "Immediate inference"
The following 9 pages are in this category, out of 9 total.
- Immediate inference (computing)
C
- Contradiction (computing)
- Contraposition (traditional logic) (computing)
- Contrary (logic) (philosophy)
- Converse (logic) (philosophy)
I
- Inverse (logic) (philosophy)
O
- Obversion (computing)
S
- Subalternation (computing)
- Superaltern (computing)