Category:演繹

Deductive reasoning

Deduction theorem

Natural deduction

Novum Organum

Hypothetico-deductive model

Soundness

Material conditional

Validity (logic)