Читайте также:
|
Утверждающий, или конструктивный модус (modus ponenc)
| Схема вывода | Схема вывода на ЯЛВ | Формула вывода на ЯЛВ |
| Если a, то b | a É b | (a É b) Ù a É b |
| a | a | Из предположения ½0½следует 1 ½0½ 0 Из истинности Ù следует 1 1 Переменные имеют значения 1 1? 0 По определению É должно быть (1 0 0) Возникает противоречие с табличным определением логического союза É, следовательно, исходное предположение ½0½ неверно. Формула вывода – тождественно-истинная. Вывод по ней достоверен. |
 
b
Пример.
Если деньги есть (a), покупаю (b).
Деньги есть (a).
Покупаю (b).
| b |
Правило modus ponens. Достоверное заключение получаем, рассуждая от утверждения основания к утверждению следствия.
2. Отрицающий, или деструктивный модус (modus tollens)
| Схема вывода | Схема вывода на ЯЛВ | Формула вывода на ЯЛВ |
  Если a, то b
| a É b | (a É b) Ù ù b É ù a 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 Формула вывода – тождественно-истинная (закон логики). Вывод, построенный по такой формуле, всегда достоверен. |
| Не - b | ù b | |
|
Не - a
Пример.
Если деньги есть (a), покупаю (b).
Не покупаю (ùb).
Денег нет (ù a).
| ` ù a |
Правило modus tollens. Достоверное заключение получаем, рассуждая от отрицания следствия к отрицанию основания.
Дата добавления: 2014-12-20; просмотров: 84 | Поможем написать вашу работу | Нарушение авторских прав |