proposition
24 categories below proposition
Narrow by
theorem 13
cognition 5
concept 5
idea 5
act 1
activity 1
axiom 1
binary-relation 1
computer-operation 1
data-operation 1
data-processing 1
event 1
function 1
logical-connective 1
logical-operation 1
mathematical-operation 1
mathematical-relation 1
postulate 1
procedure 1
process 1
- axiom 1
- postulate 1
- theorem 13
- bayes'-postulate
- bayes'-theorem
- bernoulli's-law
- binomial-theorem
- cap-theorem
- conjecture
- euclid's-axiom
- godel-incompleteness-theorem
- inclusion-exclusion-principle
- knaster-tarski-theorem
- lemma
- logical-negation
- noisy-channel-coding-theorem
- non-sequitur
- nyquist-shannon-sampling-theorem
- particular-proposition
- pigeonhole-principle
- premise
- shannon-source-coding-theorem
- universal-proposition
- zorn's-lemma