Category:Logical expressions
![]() | Computing portal |
Here is a list of articles in the category Logical expressions of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Logical expressions. |
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Logical expressions"
The following 21 pages are in this category, out of 21 total.
- Well-formed formula (computing)
A
- Atomic formula (physics)
C
- Cirquent calculus (computing)
- Cornish–Fisher expansion (computing)
E
- Expression (mathematics) (computing)
G
- Ground expression (computing)
O
- Open formula (computing)
P
- Polish notation (computing)
- Proposition (computing)
- Propositional formula (computing)
- Propositional function (computing)
R
- Rule of inference (computing)
- Rule of replacement (computing)
S
- Sequent (computing)
T
- T-schema (computing)
- Tautology (language) (computing)
- Tautology (logic) (philosophy)
- Theorem (computing)
- Theory (mathematical logic) (computing)
U
- Universal quantification (computing)
W
- WFF 'N PROOF (computing)