Чинність
З Вікіпедії, безкоштовно encyclopedia
У логіці аргумент є чинним тоді і тільки тоді, коли істинність висновку гарантується істинністю припущень.[1] Необов'язково, щоб чинний аргумент мав фактично істинний засновок,[2] але необхідно, щоб він мав засновки, які, якщо вони істинні, гарантували правдивість висновків аргументу. Формула є чинною тоді й лише тоді, якщо вона істинна у кожнім тлумаченні. Форма чи схема аргументу чинна тільки тоді, коли кожен аргумент логічної форми[en] є чинним.