4: Lógica de primer orden
- Page ID
- 116682
\( \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}}\)
Tres Lógicos entran a un bar, y
el camarero pregunta “¿A todos les gustaría algo de beber?”
El 1er Lógico dice “No lo sé”,
y el 2do Lógico dice “No sé”.
Entonces el 3er Lógico dice “sí”.
autor desconocido
- 4.4: Reglas de Introducción y Eliminación para Cuantificadores
- Como ya sabéis, hay dos cuantificadores (y). Cada una de ellas tiene una regla de introducción y una regla de eliminación, por lo que hay 4 reglas para presentar en esta sección. Las pruebas en pueden utilizar ambas reglas, más todas las reglas de (como las reglas de negación y los teoremas básicos, incluidas las reglas de introducción y eliminación), y también cualquier otro teorema que haya sido previamente probado.