رحلة عميقة في عالم صحة (المنطق)

في المنطق، تكون أي مناقشة صحيحة فقط إذا كانت نتيجتها متضمنة بشكل منطقي بواسطة مقدماتها المنطقية وكانت كل خطوة في المناقشة منطقية. وتكون صيغة صحيحة فقط إذا كانت صحيحة وفق كل تفسير، وتكون صيغة المناقشة (أو خطتها) صحيحة فقط إذا كانت كل مناقشة بهذه الصيغة المنطقية صحيحة.