Знакомство с союзом

Знакомство с союзом

Тип	Правило вывода
Поле	Пропозициональное исчисление
Заявление	Если предложение $P$ верно, и предложение $Q$ истинно, то логическое соединение двух предложений $P$ и $Q$ правда.
Символическое заявление	${\frac {P,Q}{\therefore P\land Q}}$

Введение союза (часто сокращается просто как союз , а также называется введением или присоединением ) является действительным правилом вывода высказываний логики . Правило позволяет ввести союз в логическое доказательство . Это вывод , что если предложение $P$ верно, и предложение $Q$ истинно, то логическое соединение двух предложений $P$ и $Q$правда. Например, если верно, что «идет дождь», и верно, что «кот внутри», то верно и то, что «идет дождь, и кот внутри». Правило можно сформулировать:

${\frac {P,Q}{\therefore P\land Q}}$

где правило заключается в том, что везде, где экземпляр " $P$" и " $Q$"появляются в строках доказательства," $P\land Q$"можно разместить на следующей строке.

Формальные обозначения

Правило введения союза можно записать в последовательных обозначениях:

$P,Q\vdash P\land Q$

где $P$ и $Q$ - это предложения, выраженные в некоторой формальной системе , и $\vdash$ металогический , символ означающий, что $P\land Q$ является синтаксическим следствием , если $P$ и $Q$ каждый находится на линии доказательства в некоторой логической системе ;