An argument is valid if and only if the truth of its premises entails the truth of its conclusion and each step, sub-argument, or logical operation in the argument is valid.
Аргумент вважається чинним у тому випадку, якщо істинність його засновків тягне за собою істинність його висновку, а кожен крок, субаргумент або логічна операція в аргументі є чинними.