تَحْتَ التَّضَادِّفِي الْمَنْطِقِ، يُشِيرُ التَّنَاقُضُ الْفَرْعِيُّ إِلَى حَالَةِ عَدَمِ تَوَافُقٍ بَيْنَ قَضِيَّتَيْنِ.Mantıkta altık, iki önermenin birbirini tutmaması durumunu ifade eder.