logical proof

Also found in: Thesaurus, Wikipedia.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.logical proof - proof of a logical theorem
proof - a formal series of statements showing that if one thing is true something else necessarily follows from it
Mentioned in ?
References in classic literature ?
Some, too, have baffled his analytical skill, and would be, as narratives, beginnings without an ending, while others have been but partially cleared up, and have their explanations founded rather upon conjecture and surmise than on that absolute logical proof which was so dear to him.
In some cases, we may be able to rely on theoretical guarantees -- mathematical or logical proof that AI is incapable of making a specific error -- but such situations are rare.
Indeed, as a logical proof the wager has few defenders.
He held that Euclid's theorems impose a rigorous order of logical proof that could establish the truth with undeniable certainty, proceeding from simple statements to ever-more-complex questions.
As such, the Quran regards belief in the prophets as a major basis of a Muslim's ideology and as a historical and logical proof of the truthfulness of prophet Mohammad's (PBUH) message:
It is a concise, but technical book, written for those familiar with scientific conventions/notation and logical proof. He opens by reviewing the intellectual history in the West of the causality-explanation connection, from Aristotle through John Stuart Mill.
It is because the earlier the sentence of these three, the more steps that must be taken in the logical proof, and the more (and more complicated) the steps, the greater the opportunity for human error; the later, the simpler, and the fewer steps in the argument.
The explanation of a truth is a logical proof of that truth from more basic truths.
The dictionary lists "faith" as a belief not resting on logical proof. It's inexplicable, indefinable, but if you've got it, it gives support in difficult times.
Schiller contributed both 'Scientific Discovery and Logical Proof and 'Hypothesis' to Charles Joseph Singer's Studies in the History and Method of Science (1917; 1921); only the former essay appears in Part 7.
An objective scientific examination of the physical properties of the paper and ink yields "no logical proof or convincing evidence" that the editorial is the product of intelligent design.
The interpretation nevertheless must follow al-Ghazali's "Rule of Figurative Interpretation" (qanun [TEXT NOT REPRODUCIBLE IN ASCII]): logical proof is required to abandon one level and move to the next.