У логіці, арґумент є чинним якщо істинність виводу слідує із істинності припущень.
Див. також:
Категорія: Логіка