Введение в соединение

Введение Conjunction (часто сокращенно просто как совместно , а также называется и внедрение ) ^{[1] [2] [3]} является действительным правилом вывода из логики . Правило позволяет ввести конъюнкцию в логическое доказательство . Это вывод, что если предложение p истинно, а предложение 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}$

Ссылки [ править ]