Deducible (original) (raw)

TOPICS

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

• Foundations of Mathematics
• Logic
• General Logic

If is logically deducible from , this is written .

See also

Deduction, Deduction Theorem

Explore with Wolfram|Alpha

More things to try:

• 1/6 + 5/12 + 3/4
• complexity class BPP
• int e^t sin(5t) dt

Cite this as:

Weisstein, Eric W. "Deducible." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Deducible.html

Subject classifications

• Foundations of Mathematics
• Logic
• General Logic