Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

В каком случае логическое исчисление является непротиворечивым

Читайте также:
  1. AND(Логическое значение 1; Логическое значение 2 ...Логическое значение 30)
  2. C.) Не является объектом технологических преобразований
  3. L При этом социум является необходимым условием ее формирования.
  4. Lt;question> Кто является автором педагогики сотрудничества?
  5. Oslash;В каком случае фирма, действующая в условиях совершенной конкуренции, должна прекратить производство?если P < AVC.
  6. А28. Необходимым условием гражданского общества является
  7. Аварии на автомобильном транспорте. Определение ДТП. Виды дорожно-транспортных происшествий. Результаты анализа несчастных случаев на дорогах.
  8. Августин Блаженный и теологическое обоснование морали
  9. Анатомо-физиологическое воздействие на человека вредных факторов
  10. Б) экологическое

Формула называется тождественно истинной, или

тавтологией (тождественно ложной, или противоречием), если она

обращается в истинное (ложное) высказывание при всех наборах

значений переменных. Обозначение тавтологии:»= F(XX, X2,..., Хп).

 

Формула называется общезначимой (или тавтологией), если она истинна в любой интерпретации. Формула называется противоречивой, если она ложна в любой интерпретации.

Формула G называется логическим следствием множества формул Г, если G выполняется в любой модели Г.

Формальная теория называется семантически непротиворечивой, если ни одна её теорема не является противоречием. Таким образом, формальная теория пригодна для описания тех множеств (алгебраических систем), которые являются её моделями. Модель для формальной теории существует тогда и только тогда, когда семантически непротиворечива.

Формальная теория называется формально непротиворечивой, если в ней не являются выводимыми одновременно формулы F и не F. Теория формально непротиворечива тогда и только тогда, когда она семантически непротиворечива.




Дата добавления: 2015-01-30; просмотров: 44 | Поможем написать вашу работу | Нарушение авторских прав

1 | 2 | <== 3 ==> | 4 | 5 |


lektsii.net - Лекции.Нет - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав