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