推論
P→Q, Q→Pが真であるとき、PとQが同値であることを導く。
確率値を振った推論のこと。詳細はベイズ推定(英: Bayesian inference)やベイジアンネットワークを参照。
仮説を導出する推論。
P→R, Q→S が真であるとき、P ∨ Q→R ∨ Sを導く。