Правила записи сложных суждений.

Дата добавления: 2013-12-24; просмотров: 696; Нарушение авторских прав

Для удобства записи любой подформулы и формулы каждый столбец пронумерован и логические операции выполняются с индексами столбцов. В 12-ом столбце таблицы выделены те строки, в которых формула имеет истинное значение при различных наборах значений пропозициональных переменных (A, B,C и D).

Ниже представлена таблица истинности для этого суждения.

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

A	B	C	D	ùC	4&1	2Ú3	1®7	2®4	6®5	8&9	11&10

Л	Л	Л	Л	И	Л	Л	И	И	И	И	И
Л	Л	Л	И	И	Л	Л	И	И	И	И	И
Л	Л	И	Л	Л	Л	И	И	И	И	И	И
Л	Л	И	И	Л	Л	И	И	И	И	И	И
Л	И	Л	Л	И	Л	И	И	Л	И	Л	Л
Л	И	Л	И	И	Л	И	И	И	И	И	И
Л	И	И	Л	Л	Л	И	И	Л	И	Л	Л
Л	И	И	И	Л	Л	И	И	И	И	И	И
И	Л	Л	Л	И	Л	Л	Л	И	И	Л	Л
И	Л	Л	И	И	И	Л	Л	И	И	Л	Л
И	Л	И	Л	Л	Л	И	И	И	И	И	И
И	Л	И	И	Л	И	И	И	И	Л	И	Л
И	И	Л	Л	И	Л	И	И	Л	И	Л	Л
И	И	Л	И	И	И	И	И	И	И	И	И
И	И	И	Л	Л	Л	И	И	Л	И	Л	Л
И	И	И	И	Л	И	И	И	И	Л	И	Л

Пример: "Если в строительстве внедряются современные методы планирования и руководства (А), то стройки будут расти быстрее (В), а стоимость строительства будет снижаться (С). В строительстве уже внедряются современные методы планирования и руководства. Следовательно, стройки будут расти быстрее, а стоимость строительства будет снижаться."

А®В&С

A	B	C	2&3	1®4

л	л	л	л	и
л	л	и	л	и
л	и	л	л	и
л	и	и	и	и
и	л	л	л	л
и	л	и	л	л
и	и	л	л	л
и	и	и	и	и

В формулах не должно быть двух рядом стоящих логичеcких связок - они должны быть разъединены формулами либо вспомогательными символами и не было двух рядом стоящих формул - они должны быть разъединены логической связкой.

<== предыдущая лекция	\|	следующая лекция ==>
Правила записи сложных формул	\|	Необходимо расставить все скобки.