Category:演繹

Deductive reasoning

Validity (logic)

Hypothetico-deductive model

Material conditional

Soundness

Natural deduction

Deduction theorem

Novum Organum