Элементы математической логики

| Категория реферата: Рефераты по математике
| Теги реферата: реферат на тему экология, реферат по математике
| Добавил(а) на сайт: Gnusarev.

   Обозначение : А®В

Импликация устроена немного сложнее других операций. В импликации существенное значение имеет порядок аргументов. Первый называется посылкой, а второй следствием. Можно сказать, что первое высказывание является как бы причиной второго, а второе   как бы вытекает из первого.

Приведенные выше определения можно свести в таблицу, которая называется таблицей истинности.