9.2: Reglas proposicionales
- Page ID
- 103609
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)
Reglas para\(\land\)
Reglas para\(\lor\)
Reglas para\(\lif\)
Reglas para\(\lnot\)
Reglas para\(\lfalse\)
Tenga en cuenta que\(\Intro{\lnot}\) y\(\FalseCl\) son muy similares: La diferencia es que\(\Intro{\lnot}\) deriva una oración negada\(\lnot A\) pero\(\FalseCl\) una oración positiva\(A\).
Siempre que una regla indique que alguna suposición puede ser dada de baja, tomamos esto como un permiso, pero no un requisito. Por ejemplo, en la\(\Intro{\lif}\) regla, podemos descargar cualquier número de supuestos de la forma\(A\) en la derivación de la premisa\(B\), incluyendo cero.