Licenciamiento Detallado
- Page ID
- 99042
\( \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}}\)
Visión general
Título: Una introducción concisa a la lógica (DelanceY)
Páginas Web: 30
Restricciones Aplicables: No Comercial
Todas las licencias encontradas:
- CC BY-NC-SA 4.0: 70% (21 páginas)
- No declarado: 30% (9 páginas)
Por página
- Una Introducción Concisa a la Lógica (DelanceY) —
CC BY-NC-SA 4.0
- Materia Frontal — No Declarada
- 1: Lógica Proposicional —
CC BY-NC-SA 4.0
- 1.1: Desarrollo de un lenguaje preciso — CC BY-NC-SA 4.0
- 1.2: “Si... entonces...” y “No es el caso que...” — CC BY-NC-SA 4.0
- 1.3: Buenos Argumentos — CC BY-NC-SA 4.0
- 1.4: Pruebas — CC BY-NC-SA 4.0
- 1.5: “Y” — CC BY-NC-SA 4.0
- 1.6: Derivaciones Condicionales — CC BY-NC-SA 4.0
- 1.7: “O” — CC BY-NC-SA 4.0
- 1.8: Reductio ad Absurdum — CC BY-NC-SA 4.0
- 1.9: “... si y solo si...”, Usando teoremas — CC BY-NC-SA 4.0
- 1.10: Resumen de la Lógica Proposicional — CC BY-NC-SA 4.0
- 2: Lógica de primer orden —
CC BY-NC-SA 4.0
- 2.1: Nombres y predicados — CC BY-NC-SA 4.0
- 2.2: “Todos” y “algunos” — CC BY-NC-SA 4.0
- 2.3: Razonamiento con cuantificadores — CC BY-NC-SA 4.0
- 2.4: Derivación universal — CC BY-NC-SA 4.0
- 2.5: Relaciones, funciones, identidad y cuantificadores múltiples — CC BY-NC-SA 4.0
- 2.6: Resumen de la lógica de primer orden — CC BY-NC-SA 4.0
- 3: Una mirada hacia adelante — CC BY-NC-SA 4.0
- Materia Trasera — No Declarada