Приклад здоровості та повноти умовиводу

Чи правильний наступний приклад щодо того, чи є алгоритм висновку надійним і повним ?

Припустимо, у нас голки a, b, c в копиці сіна, а також є алгоритм виводу, призначений для пошуку голок.

звук - виходять лише голки a, b і c.
повні - отримують голки a, b і c. Також можна отримати інше сіно.

logic

Ви майже правильно зрозуміли, але ваше визначення звучності не зовсім правильне, або, можливо, занадто тонке.

Я б сказав, що алгоритм висновку є здоровим, якщо все, що повернуто, - це голка (отже, деякі голки можуть бути пропущені) і завершено, якщо всі голки будуть повернуті (отже, може бути повернуто і деяке сіно).

— Дейв Кларк
джерело

Це може бути проблемою мовної семантики. Якщо припустити, що біля сіна є єдині об'єкти - це три голки, формулювання ОП є правильним.

— Рафаель

У будь-якому випадку, моя відповідь промовляє це, щоб зробити його зрозумілішим.

— Дейв Кларк

Дійсно, якщо вираз було «тільки голки а, Ь і з можуть бути отримані» Я б не дав відповіді.

— Дейв Кларк

Тож здається, що звук означає, що алгоритмічна функція має дальність голки, а вона є повною означає, що ця функція є сприятливою для безлічі непотрібних в копиці сіна ;-)

— Musa Al-hassy