Определить (логическое следование(импликация)) или (логическое тождество (эквиваленция)) быть или не быть-вот в чем если хочешь быть красивым, поступай в гусары.
Логическое следование: импликация – связывает два простых логических выражения, из которых первое является условием (а), а второе (в) – следствием из этого условия. результатом импликации является ложь только тогда, когда условие а истинно, а следствие в ложно (таблица 4). импликацией а→в называется высказывание, которое ложно тогда и только тогда, когда а истинно и в ложно. таблица 4 – таблица истинности функции логического следования (импликация). а. в. "быть иль не быть – вот в чём вопрос" (в. шекспир) а v ¬ a ↔ в. "если хочешь быть красивым, поступи в гусары" (к. прутков) а ↔ в. 1 2 3 4 следующая > < предыдущая стр 5 из 13 5 6 7 8 9 10 11 12 13. соседние файлы в предмете [несортированное].
логическое следование