Валидность это употребляемый в логике синоним истины, точнее, ее формальный эквивалент. Вывод считается валидным (верным), если представляет собой переход от истинного к истинному (от истинности посылок к истинности заключения) или остается верным независимо от интерпретации. Нетрудно заметить, что валидность суждения не зависит от истинности заключений, так же, впрочем, как истинность заключения не зависит от валидности суждения.
Валидное суждение может привести к ложному заключению (если хотя бы одна из посылок ложна). На этом, например, основан знаменитый софизм о рогах: «Ты имеешь все, чего не потерял; ты не потерял рогов; следовательно, ты имеешь рога». Это суждение валидно, но его заключение ложно (потому что ложна большая посылка силлогизма, хотя ее ложность и не бросается в глаза). И наоборот, невалидное суждение может привести к верному -заключению: «Все люди смертны; Сократ смертен; следовательно, Сократ — человек». Суждение невалидно, но заключение верно.
