natural deduction

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

Sir Roderic concurs, and as the natural deduction is that he himself ought never to have died at all, he and Dame Hannah are able at last to bring joy and laughter within the grim walls of Ruddigore.

Read more on Project Gutenberg

The natural deduction for conventional people like Hilda and Edith was that—now, don't be annoyed at what I'm going to say, but I always speak out—I'm famous for my frankness.

Read more on Project Gutenberg

So widely spread has been this belief in prayer that it is somewhat strange that men should not have more commonly made what seems the natural deduction—namely, that if our spirits can communicate with higher spirits in a way transcending sense, they may also perhaps be able in like manner to communicate with each other.

Read more on Project Gutenberg

Then the natural deduction is that he has learned to apply new ways and methods, by and through which he can produce surer and more beautiful results than could his predecessor in his profession.

Read more on Project Gutenberg

The only natural deduction is that it comes from the same source as the other sayings, and that source was not our synoptic Gospels.

Read more on Project Gutenberg