Capítulos publicados

Índice transversal de capítulos book-chapter y unidades modulares relacionadas disponibles públicamente.

Esta vista permite leer capítulos terminados o en publicación progresiva aunque el libro padre continúe en desarrollo.

Tratado de análisis

Capítulo 0 — Fundamento lógico y conjuntista (MA-BCH-0005) — Capítulo completo: lógica ambiente y axiomas conjuntistas; operaciones de conjuntos; pares ordenados y productos cartesianos; relaciones; equivalencia y cocientes; funciones; familias indexadas; teoría abstracta del orden; resumen de notación y cierre deductivo.
Capítulo 1 — Los números naturales (MA-BCH-0007) — Capítulo completo: construcción canónica de \(\omega\), definición \(\mathbb N:=\omega\), inducción, Peano, recursión, suma, producto y orden natural; se demuestra que el orden es total, compatible con las operaciones y coincide con inclusión/pertenencia en la representación de von Neumann, además del buen orden y la inducción fuerte. El capítulo cierra con balance estructural, notas bibliográficas y la transición hacia la construcción de \(\mathbb Z\) mediante diferencias formales y clases de equivalencia.
Capítulo 2 — Los números enteros (MA-BCH-0019) — Capítulo completo: diferencias formales y cociente \(\mathbb Z=(\mathbb N\times\mathbb N)/{\sim_{\mathbb Z}}\), operaciones aritméticas sobre clases, estructura de anillo conmutativo con identidad, incrustación canónica y forma normal con signo; se establece que \(\mathbb Z\) es un dominio de integridad y se construye \(\leq_{\mathbb Z}\) como orden total compatible con la suma y la multiplicación por enteros no negativos. La incrustación \(\iota\) preserva y refleja el orden natural; §2.10 reúne la construcción alcanzada, §2.11 explicita el patrón representantes → equivalencia → cociente → buena definición → estructura, §2.12 consigna las referencias metodológicas y la ausencia de elección, y §2.13 identifica la obstrucción multiplicativa que conduce a la construcción de \(\mathbb Q\) mediante representantes fraccionarios.
Capítulo 3 — Los números racionales (MA-BCH-0020) — Capítulo completo: construye \(\mathbb Q\) como cociente de representantes fraccionarios; define suma, opuesto, producto, inversos y división; demuestra que \(\mathbb Q\) es un cuerpo ordenado, denso y arquimediano; establece las incrustaciones canónicas de \(\mathbb Z\) y \(\mathbb N\); y exhibe mediante \(S_2=\{q\in\mathbb Q:0\leq q,\ q^2<2\}\) una falla concreta de completitud. §3.11 consigna el marco bibliográfico y §3.12 formula la transición hacia dos construcciones independientes de \(\mathbb R\): cortaduras de Dedekind y sucesiones de Cauchy.
Capítulo 4 — Cuerpos ordenados y el problema de la completitud (MA-BCH-0029) — Capítulo completo (§§4.0–4.11): desarrolla cuerpos ordenados, arquimedianidad, densidad y completitud; §4.11 prepara la construcción de los reales por cortaduras de Dedekind.
Capítulo 5 — Cortaduras de Dedekind (MA-BCH-0051) — Capítulo completo: define las cortaduras como subconjuntos de \(\mathbb Q\), construye las secciones racionales, exhibe una cortadura no racional, establece el orden por inclusión y la incrustación canónica de \(\mathbb Q\); prepara la aritmética de cortaduras.
Capítulo 6 — Aritmética de las cortaduras (MA-BCH-0052) — Capítulo completo: Del orden a la aritmética; Suma de cortaduras; El cero de Dedekind; Opuestos de Dedekind; Notas de cierre y control fundacional.
Capítulo 7 — Completitud de los reales de Dedekind (MA-BCH-0053) — Capítulo completo: El problema que queda; Cotas en \(\mathbb R_D\); Construcción del candidato a supremo; Verificación de que la unión es una cortadura; Qué hemos alcanzado.
Capítulo 8 — Sucesiones racionales y aproximación (MA-BCH-0054) — Capítulo completo: De las fronteras a los procesos de aproximación; Sucesiones en \(\mathbb Q\); Distancia racional y valor absoluto; Convergencia racional; Incompletitud secuencial de \(\mathbb Q\).
Capítulo 9 — El cuerpo de Cauchy (MA-BCH-0055) — Capítulo completo: El conjunto de sucesiones racionales de Cauchy; Sucesiones nulas; Relación de equivalencia; Construcción del cociente; Compatibilidad del orden con las operaciones.
Capítulo 10 — Completitud del cuerpo de Cauchy (MA-BCH-0056) — Capítulo completo: Sucesiones de Cauchy en \(\mathbb R_C\); Aproximantes racionales y política de elección; Construcción diagonal; Convergencia y completitud secuencial; Conclusión: la completación de Cauchy de \(\mathbb Q\).
Capítulo 11 — Dedekind y Cauchy (MA-BCH-0057) — Capítulo completo: Del proceso racional a la cortadura; Buena definición sobre clases; Homomorfismo; Preservación de suma y producto; Conclusión.
Capítulo 12 — Unicidad (MA-BCH-0058) — Capítulo completo: De dos modelos concretos a la unicidad general; Subcuerpo primo de un cuerpo ordenado; Copia canónica de \(\mathbb Q\); Densidad de la copia racional canónica; Qué significa \(\mathbb R\) a partir de ahora.
Capítulo 13 — Sucesiones reales (MA-BCH-0059) — Capítulo completo: De la construcción de los reales al análisis sobre los reales; Sucesiones como funciones; Colas y propiedades eventuales; Convergencia de sucesiones reales; Límites inferior y superior.
Capítulo 14 — Series numéricas (MA-BCH-0060) — Capítulo completo: De una sucesión de términos a una sucesión de sumas; Serie, sumas parciales y convergencia; Criterio de Cauchy para series y condición necesaria de convergencia; Series geométricas; Criterio de la raíz y límite superior finito.
Capítulo 15 — Topología de la recta real (MA-BCH-0061) — Capítulo completo: De las aproximaciones a la proximidad; Bolas abiertas y vecindades; Puntos interiores y conjuntos abiertos; Puntos exteriores y conjuntos cerrados; Densidad e intervalos.
Capítulo 16 — Límites de funciones (MA-BCH-0067) — capítulo completo: Definición y unicidad del límite; criterio secuencial; álgebra, composición y límites laterales.
Capítulo 17 — Continuidad (MA-BCH-0068) — capítulo completo: Continuidad puntual y global; álgebra de funciones continuas; continuidad secuencial y sobre intervalos.
Capítulo 18 — Compacidad y conexidad en la recta (MA-BCH-0069) — capítulo completo: Compacidad y conexidad en la recta; Heine–Borel; extremos y valor intermedio, con alcance fundacional explícito.
Capítulo 19 — Diferenciación (MA-BCH-0070) — capítulo completo: Derivada, reglas algebraicas, regla de la cadena, derivadas laterales y aproximación lineal.
Capítulo 20 — Teoremas fundamentales del cálculo diferencial (MA-BCH-0071) — capítulo completo: Extremos locales; teoremas de Rolle y del valor medio; monotonía, convexidad y regla de L’Hôpital.
Capítulo 21 — Integral de Riemann (MA-BCH-0072) — capítulo completo: Particiones, sumas de Darboux, integrabilidad de Riemann y propiedades fundamentales de la integral.
Capítulo 22 — Teorema fundamental del cálculo (MA-BCH-0073) — capítulo completo: Funciones de acumulación, teorema fundamental del cálculo, Newton–Leibniz y cambio de variable.
Capítulo 23 — Sucesiones y series de funciones (MA-BCH-0074) — capítulo completo: Convergencia puntual y uniforme; intercambio de límites; series de funciones y criterio de Weierstrass.
Capítulo 24 — Series de potencias (MA-BCH-0075) — capítulo completo: conjunto y radio de convergencia; extremos; fórmula de Cauchy–Hadamard; convergencia uniforme interior; integración y derivación término a término; derivadas de todo orden, series de Taylor y analiticidad.
Glosario matemático (MA-BCH-0006) — Apéndice vivo del Tratado con definiciones breves y enlaces bidireccionales; incorpora ya cuerpo ordenado completo, propiedad del supremo, propiedad de separación y el principio de intersección de intervalos cerrados.

Tratado moderno de Álgebra

Capítulo 0 — Interfaz fundacional para Álgebra (MA-BCH-0021) — Primera unidad matemática publicada del tratado: importa explícitamente pares ordenados, productos cartesianos, funciones, identidad y composición desde el fundamento ya cerrado; controla la circularidad intertratados y prepara la definición formal de operación binaria.
Interfaz funcional II — Biyectividad e inversas (MA-BCH-0022) — Incorpora inyectividad, sobreyectividad, biyectividad y función inversa como infraestructura funcional previa a los isomorfismos algebraicos, manteniendo separadas la biyectividad y la preservación de operaciones.
Interfaz fundacional III — Relaciones de equivalencia y cocientes (MA-BCH-0023) — Incorpora relaciones binarias, equivalencias, clases y conjuntos cociente; distingue rigurosamente representantes y clases y prepara las futuras operaciones cociente mediante pruebas explícitas de buena definición.
Capítulo 1 — Operaciones binarias y estructuras elementales (MA-BCH-0024) — Inicia la Parte I: define operación binaria interna, fija la notación infija, introduce el magma como estructura mínima y formula la asociatividad como primera ley algebraica.
Capítulo 2 — Semigrupos (MA-BCH-0025) — Abre la Parte II definiendo el semigrupo como magma asociativo; delimita qué consecuencias provienen de la asociatividad y qué propiedades —neutro, inversos, conmutatividad y cancelación— todavía no están disponibles.
Capítulo 3 — Elementos neutros y monoides (MA-BCH-0026) — Distingue neutros izquierdo, derecho y bilateral; demuestra su coincidencia y la unicidad del neutro sin usar asociatividad; define monoide como semigrupo con neutro bilateral.
Capítulo 4 — Inversos y grupos (MA-BCH-0027) — Distingue inversos izquierdo, derecho y bilateral; demuestra que los inversos laterales coinciden usando asociatividad, obtiene la unicidad del inverso y define grupo como monoide en el que todo elemento es invertible.
Capítulo 5 — Conmutatividad y grupos abelianos (MA-BCH-0028) — Introduce la conmutatividad como ley independiente de una operación binaria y define grupo abeliano como grupo cuya operación es conmutativa, cerrando la primera jerarquía estructural del tratado.
Capítulo 6 — Subestructuras y criterio de subgrupo (MA-BCH-0030) — Construye la operación restringida sobre subconjuntos cerrados, define submagmas, subsemigrupos, submonoides y subgrupos, demuestra la herencia de asociatividad, neutro e inversos y culmina en el criterio de subgrupo \(a\star b^{-1}\in H\).
Capítulo 7 — Homomorfismos de magmas, monoides y grupos (MA-BCH-0032) — Introduce homomorfismos desde el nivel de magmas, prueba estabilidad bajo identidad y composición, distingue el caso de monoides y demuestra que los homomorfismos de grupos preservan automáticamente neutro e inversos.
Capítulo 8 — Isomorfismos (MA-BCH-0033) — Define isomorfismos como homomorfismos biyectivos, demuestra estabilidad bajo inversa, identidad y composición y formaliza la relación de isomorfía sin identificarla con igualdad literal.
Capítulo 9 — Núcleo e imagen de homomorfismos de grupos (MA-BCH-0034) — Construye núcleo e imagen como subgrupos canónicos y caracteriza la inyectividad mediante núcleo trivial y la sobreyectividad mediante imagen total.
Capítulo 10 — Subgrupos normales (MA-BCH-0035) — Introduce la normalidad mediante conjugación y demuestra la normalidad de núcleos y subgrupos de grupos abelianos.
Capítulo 11 — Clases laterales y caracterización de la normalidad (MA-BCH-0036) — Construye clases laterales, establece criterios de igualdad y caracteriza la normalidad mediante la coincidencia de clases izquierdas y derechas.
Capítulo 12 — Cocientes de grupos (MA-BCH-0037) — Construye el conjunto cociente por un subgrupo normal, demuestra la buena definición del producto y obtiene el grupo cociente y la proyección canónica.
Capítulo 13 — Primer teorema de isomorfía para grupos (MA-BCH-0038) — Demuestra que un homomorfismo induce un isomorfismo entre el cociente por su núcleo y la estructura de subgrupo sobre su imagen.
Capítulo 14 — Anillos (MA-BCH-0039) — Introduce anillos asociativos unitarios, notación aditiva y multiplicativa y las primeras consecuencias de la distributividad.
Capítulo 15 — Unidades de un anillo (MA-BCH-0040) — Aísla los elementos multiplicativamente invertibles y construye el grupo de unidades de un anillo.
Capítulo 16 — No trivialidad y divisores de cero (MA-BCH-0041) — Separa anillos triviales y no triviales, introduce divisores de cero laterales y estudia su relación con unidades y cancelación.
Capítulo 17 — Subanillos y homomorfismos de anillos (MA-BCH-0042) — Fija la convención unital para subanillos y homomorfismos y desarrolla su comportamiento estructural.
Capítulo 18 — Ideales (MA-BCH-0043) — Introduce ideales izquierdos, derechos y bilaterales y los conecta con núcleos de homomorfismos.
Capítulo 19 — Cocientes de anillos (MA-BCH-0044) — Construye congruencias módulo ideales, operaciones bien definidas sobre clases y la estructura de anillo cociente.
Capítulo 20 — Isomorfismos y primer teorema de isomorfía para anillos (MA-BCH-0045) — Desarrolla isomorfismos de anillos y demuestra el primer teorema de isomorfía para anillos.
Capítulo 21 — Dominios íntegros (MA-BCH-0046) — Define dominio íntegro y establece caracterizaciones mediante producto nulo y cancelación multiplicativa.
Capítulo 22 — Cuerpos y subcuerpos (MA-BCH-0047) — Define cuerpos como anillos conmutativos no triviales cuyos elementos no nulos son invertibles y desarrolla la noción de subcuerpo.
Capítulo 23 — Homomorfismos de cuerpos (MA-BCH-0048) — Especializa los homomorfismos unitarios de anillos a cuerpos y demuestra su inyectividad automática.
Capítulo 24 — Cuerpo de fracciones de un dominio íntegro (MA-BCH-0049) — Construye el cuerpo de fracciones mediante pares, equivalencia y operaciones bien definidas sobre clases, junto con la inmersión canónica.
Capítulo 25 — Grupos ordenados (MA-BCH-0050) — Introduce la compatibilidad bilateral entre orden y operación de grupo y desarrolla su reconstrucción mediante conos.
Capítulo 26 — Anillos ordenados (MA-BCH-0062) — Desarrolla anillos ordenados y las hipótesis de signo y no nulidad para la monotonía multiplicativa.
Capítulo 27 — Cuerpos ordenados (MA-BCH-0135) — Capítulo del Tratado moderno de Álgebra dedicado a cuerpos ordenados, inversos, división y comparación de cocientes.
Capítulo 28 — Propiedades arquimedianas (MA-BCH-0136) — Capítulo del Tratado moderno de Álgebra dedicado a numerales internos, arquimedianidad, cambios de escala y recíprocos pequeños.
Capítulo 29 — Productos directos y propiedades universales (MA-BCH-0137) — Capítulo del Tratado moderno de Álgebra dedicado a productos directos y propiedades universales de productos, cocientes y cuerpos de fracciones.
Capítulo 30 — Teoremas de isomorfía superiores y correspondencia (MA-BCH-0138) — Capítulo del Tratado moderno de Álgebra dedicado a los segundos y terceros teoremas de isomorfía y a la correspondencia de subgrupos e ideales en cocientes.
Capítulo 31 — Descenso y transporte de estructura (MA-BCH-0139) — Capítulo del Tratado moderno de Álgebra dedicado al descenso de homomorfismos entre cocientes y al transporte de subestructuras mediante isomorfismos.
Capítulo 32 — Espacios vectoriales: definición y ejemplos (MA-BCH-0140) — Definición de espacio vectorial sobre un cuerpo, identidades escalares y construcción de espacios de funciones y potencias finitas.
Capítulo 33 — Subespacios y generación (MA-BCH-0141) — Criterio de subespacio, sumas finitas y construcción del subespacio generado, con sus propiedades de minimalidad, intersección y suma.
Capítulo 34 — Independencia lineal y bases (MA-BCH-0142) — Independencia lineal, coordenadas de soporte finito, extracción y extensión finitas de bases y existencia general bajo la hipótesis adicional de Zorn.
Capítulo 35 — Dimensión finita (MA-BCH-0143) — Intercambio finito, dimensión natural bien definida, criterios de base, finitud de subespacios y fórmula de dimensión para sumas y sumas directas internas.
Capítulo 36 — Aplicaciones lineales (MA-BCH-0144) — Linealidad, núcleo e imagen, espacio libre de soporte finito, extensión sobre una base dada y fórmula de rango-nulidad en dimensión finita.
Capítulo 37 — Cocientes y dualidad elemental (MA-BCH-0145) — Cocientes vectoriales, factorización lineal, dual algebraico, base dual, evaluación canónica y aniquiladores en dimensión finita.
Capítulo 38 — Aplicaciones bilineales (MA-BCH-0146) — Bilinealidad, operaciones puntuales, expansión finita, ejemplos y especificación única por valores sobre dos bases dadas.
Capítulo 39 — Multilinealidad y formas (MA-BCH-0147) — Aplicaciones multilineales de aridad positiva y finita, especificación por bases dadas, formas simétricas y alternantes, y la excepción de característica dos.
Capítulo 40 — Infraestructura tensorial mínima (MA-BCH-0148) — Construcción del producto tensorial por cociente, aplicación canónica, tensores puros, propiedad universal, mapas inducidos y bases tensoriales dadas.

Cálculo para matemáticos

Los números reales: axiomas de cuerpo, orden y completitud (MA-BCH-0003) — Capítulo 1 completo de la edición vigente.
Funciones reales: estructura, composición, inversas y gráficas (MA-BCH-0004) — Capítulo 2 completo de la edición vigente.
Sucesiones y la primera noción rigurosa de límite (MA-BCH-0010) — Capítulo 3 completo de la edición vigente.
Límites de funciones (MA-BCH-0062) — Capítulo 4 completo de la edición vigente.
Continuidad en la recta: intervalos, compacidad y teoremas fundamentales (MA-BCH-0063) — Capítulo 5 completo de la edición vigente.
La derivada y la aproximación lineal local (MA-BCH-0064) — Capítulo 6 completo de la edición vigente.
Álgebra de derivadas y regla de la cadena (MA-BCH-0065) — Capítulo 7: reglas demostradas, dominios, composiciones y 40 ejercicios con solución.
Derivación de funciones elementales, inversas e implícitas (MA-BCH-0066) — Capítulo 8: inversas, raíces, potencias racionales, ramas implícitas y 40 ejercicios con solución.
Teoremas de Rolle y del valor medio (MA-BCH-0076) — Capítulo 9: Fermat, Rolle, Lagrange, hipótesis, Lipschitz y 40 ejercicios con solución.

Álgebra para matemáticos

Tomo I completo: 26 capítulos y 2352 ejercicios con soluciones desarrolladas.

1. El álgebra como lenguaje de relaciones y estructuras (MA-BCH-0012) — 48 ejercicios y soluciones.
2. Expresiones, variables, igualdad e identidad (MA-BCH-0013) — 60 ejercicios y soluciones.
3. Leyes de las operaciones y transformaciones justificadas (MA-BCH-0014) — 72 ejercicios y soluciones.
4. Proposiciones y conectivos lógicos (MA-BCH-0015) — 72 ejercicios y soluciones.
5. Álgebra de proposiciones y formas normales (MA-BCH-0016) — 92 ejercicios y soluciones.
6. Cuantificadores, predicados y lenguaje matemático (MA-BCH-0017) — 96 ejercicios y soluciones.
7. Conjuntos y álgebra de conjuntos (MA-BCH-0018) — 96 ejercicios y soluciones.
8. Relaciones y relaciones de equivalencia (MA-BCH-0183) — 96 ejercicios y soluciones.
9. Funciones, composición e inversas (MA-BCH-0184) — 104 ejercicios y soluciones.
10. Cómo se demuestra (MA-BCH-0185) — 104 ejercicios y soluciones.
11. Inducción, buen orden y recursión (MA-BCH-0186) — 104 ejercicios y soluciones.
12. Sumas, productos e identidades finitas (MA-BCH-0187) — 96 ejercicios y soluciones.
13. Coeficientes binomiales y teorema del binomio (MA-BCH-0188) — 92 ejercicios y soluciones.
14. Los enteros y la divisibilidad (MA-BCH-0189) — 92 ejercicios y soluciones.
15. Máximo común divisor y algoritmo de Euclides (MA-BCH-0190) — 96 ejercicios y soluciones.
16. Números primos y factorización (MA-BCH-0191) — 92 ejercicios y soluciones.
17. Congruencias y aritmética modular (MA-BCH-0192) — 96 ejercicios y soluciones.
18. Potencias, exponentes racionales y radicales (MA-BCH-0193) — 96 ejercicios y soluciones.
19. Identidades, productos notables y factorización (MA-BCH-0194) — 92 ejercicios y soluciones.
20. Fracciones algebraicas y expresiones racionales (MA-BCH-0195) — 88 ejercicios y soluciones.
21. Ecuaciones, equivalencias y conjuntos solución (MA-BCH-0196) — 92 ejercicios y soluciones.
22. Orden e inequaciones (MA-BCH-0197) — 96 ejercicios y soluciones.
23. Funciones exponenciales y logaritmos (MA-BCH-0198) — 96 ejercicios y soluciones.
24. Polinomios: operaciones y división (MA-BCH-0199) — 100 ejercicios y soluciones.
25. Raíces, factores e irreducibilidad elemental (MA-BCH-0200) — 92 ejercicios y soluciones.
26. Números complejos y el horizonte de las ecuaciones (MA-BCH-0201) — 92 ejercicios y soluciones.

Física para matemáticos

Edición canónica revisada e índice completo: 28 capítulos, 565 ejercicios resueltos y 200 figuras.

0. El problema de medir (MA-BCH-0343).
1. Describir, medir y estimar un movimiento (MA-BCH-0345).
2. Reconstruir movimientos en una recta (MA-BCH-0347).
3. Movimiento en el plano (MA-BCH-0348).
4. Fuerzas y leyes de Newton (MA-BCH-0349).
5. Contactos, tensiones y rozamiento (MA-BCH-0350).
6. Cuerpos conectados y restricciones (MA-BCH-0351).
7. Trabajo y energía cinética (MA-BCH-0352).
8. Potencial, equilibrio y estabilidad (MA-BCH-0353).
9. Impulso, colisiones y centro de masa (MA-BCH-0354).
10. El oscilador armónico (MA-BCH-0363).
11. Disipación y respuesta forzada (MA-BCH-0394).
12. Momento angular y torque (MA-BCH-0355).
13. Rotación plana y rodadura (MA-BCH-0362).
14. Gravitación y campo (MA-BCH-0356).
15. Dos cuerpos y fuerzas centrales (MA-BCH-0357).
16. Órbitas de Kepler (MA-BCH-0358).
17. Dispersión clásica (MA-BCH-0359).
18. Marcos acelerados y giratorios (MA-BCH-0360).
19. Cuerpo rígido en tres dimensiones (MA-BCH-0361).
20. Oscilaciones acopladas (MA-BCH-0364).
21. Trabajo virtual, coordenadas generalizadas y acción (MA-BCH-0365).
22. Mecánica lagrangiana (MA-BCH-0366).
23. Simetrías y conservación (MA-BCH-0367).
24. Mecánica hamiltoniana (MA-BCH-0368).
25. Poisson y geometría del espacio de fases (MA-BCH-0369).
26. Estabilidad y dinámica no lineal (MA-BCH-0370).
27. Sistemas abiertos y transferencia de masa (MA-BCH-0395).

Topos desde cero

Capítulo 1 — Proposiciones y razonamiento deductivo (MA-BCH-0002) — Capítulo 1 completo en la edición web: las secciones 1.1–1.3 están reunidas en esta página y las secciones 1.4–1.7 continúan como unidades modulares enlazadas a continuación.
1.4 — Implicación, contrapositiva y recíproca (MA-LES-0001) — Condicional, negación de implicaciones, recíproca, contrapositiva, inversa e inferencias engañosas.
1.5 — Bicondicionales y condiciones necesarias y suficientes (MA-LES-0002) — Bicondicional, «si/solo si/si y solo si», condiciones necesarias y suficientes, y distinción entre \(\leftrightarrow\) y \(\equiv\).
1.6 — Argumentos deductivos y validez (MA-LES-0003) — Premisas, conclusión, validez, asignaciones refutadoras, tablas de verdad y reglas elementales de inferencia.
1.7 — Repaso acumulativo del capítulo 1 (MA-LES-0004) — Repaso integrador de sintaxis, semántica, equivalencias, traducción, implicaciones, bicondicionales y validez deductiva.