Введение в соединение - Conjunction introduction

Введение в соединение (часто сокращенно просто соединение а также называется и введение)^[1][2][3] это действительный правило вывода из логика высказываний. Правило позволяет ввести соединение в логическое доказательство. Это вывод что если предложение п верно, и предложение q верно, то логическое соединение двух предложений p и q правда. Например, если правда, что «идет дождь», и правда, что «я внутри», то верно, что «идет дождь, а я внутри». Правило можно сформулировать:

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

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

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

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

${\displaystyle P,Q\vdash P\land Q}$

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

Рекомендации

1. Херли, Патрик (1991). Краткое введение в логику 4-е издание. Wadsworth Publishing. С. 346–51.
2. Copi, Irving M .; Коэн, Карл; МакМахон, Кеннет (2014). Введение в логику (14-е изд.). Пирсон. С. 370, 620. ISBN  978-1-292-02482-0.
3. Мур и Паркер^{[требуется полная цитата ]}