natural deduction

British  

noun

1. a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage Compare axiomatic

---

Example Sentences

After she graduated, Rayo said, he invited her on a family vacation to Garden of the Gods, a spectacular natural attraction in Colorado Springs, Colorado.

From Seattle Times • Dec. 17, 2021

So we could use the zoo as a model and the children’s natural attraction to animals to really inspire learning in every subject.”

From Los Angeles Times • Nov. 21, 2021

For this delivery challenge, researchers attach the engineered double-stranded RNA to a molecule called a ligand, which has a natural attraction to a particular type of receptor found on the surface of the target cell.

From Nature • Oct. 15, 2019

We indulge our natural attraction to imperfection more freely on vacation.

From New York Times • Sep. 7, 2012

Franklin was at once, by natural attraction, the welcome guest of that brilliant company of philosophers who exercised such influence over the eighteenth century.

From The Atlantic Monthly, Volume 12, No. 73, November, 1863 by Various