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

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

${ displaystyle { frac {P, Q} { следовательно 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}$ каждый находится на линии доказательства в некоторых логическая система;

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