مغالطه یک استدلال نادرست است که به نتیجه ای نادرست می انجامد. در منطق ریاضی، مغالطه را می توان با استفاده از نمادهای گزاره ها و جداول ارزش بررسی کرد.
یک مغالطه زمانی رخ می دهد که استدلالی با فرضیات درست، به نتیجه ای نادرست برسد.
برای مثال، فرض کنید استدلالی به این شکل داریم: "اگر آ، آنگاه ب" و "ب"، پس "آ". این استدلال مغالطه آمیز است زیرا ممکن است "ب" به دلیل دیگری درست باشد.
در نمادهای گزاره ای، این استدلال به شکل زیر است:
- $p \rightarrow q$
- $q$
- $\therefore p$
این استدلال مغالطه است چون اگر $p$ نادرست و $q$ درست باشد، فرض $p \rightarrow q$ درست است ولی نتیجه $p$ نادرست است.
