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

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

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