Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 10 - 31)

ÍNDICE GENERAL
PRÓLOGO .................................................................................................... 7
TEMA 0.- ELEMENTOS DE LÓGICA PROPOSICIONAL. FUNDAMENTOS

DEL RAZONAMIENTO MATEMÁTICO .............................................. 15
1. Introducción........................................................................................... 17
2. Elementos de lógica proposicional
2.1. Proposiciones
2.2. Tipos de proposiciones ..................................................................... 19
2.3. Nexos lógicos y fórmulas lógicas........................................................ 20
2.4. Tablas de verdad ............................................................................. 21
2.5. Proposiciones tautológicas, contradictorias e indeterminadas.
Implicación y equivalencia ................................................................ 26
2.6. Funciones proposicionales................................................................. 30
3. Fundamentos del razonamiento matemático
3.1. Razonamiento inductivo y razonamiento deductivo ............................. 32
3.2. Conceptos primarios y definiciones ................................................... 33
3.3. Axiomas ......................................................................................... 34
3.4. Teoremas, lemas y corolarios............................................................ 35
3.5. Demostraciones .............................................................................. 38
3.6. Lenguaje y rigor matemáticos ........................................................... 39
Bibliografía .................................................................................................. 41
TEMA 1.- NÚMEROS NATURALES Y SISTEMAS DE NUMERACIÓN:

OPERACIONES .............................................................................. 43
1. El conjunto de los números naturales
1.1. Introducción
1.2. Definición axiomática del conjunto de los números naturales ............... 45
2. Operaciones en el conjunto de los números naturales
2.1. Adición de números naturales. Propiedades ....................................... 49
2.2. Multiplicación de números naturales. Propiedades................................ 53
2.3. El semianillo de los números naturales ............................................... 57
2.4. Potenciación de números naturales. Propiedades ................................. 58
3. Ordenación de los números naturales. Propiedades. Numerabilidad ..... 61
4. Otras operaciones en N
4.1. Sustracción de números naturales. Propiedades ................................. 67
4.2. División de números naturales. Propiedades ...................................... 68
5. Sistemas de numeración
5.1. Introducción .................................................................................. 75
5.2. Teorema fundamental de los sistemas de numeración .......................... 76
5.3. Propiedades de los sistemas de numeración........................................ 78
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
5.4. Paso de un sistema de numeración a otro........................................... 81

6. Operaciones en cualquier sistema de numeración
6.1. Adición de números en un sistema de base cualquiera ......................... 83
6.2. Sustracción de números en un sistema de base cualquiera ................... 85
6.3. Multiplicación de números en un sistema de base cualquiera................. 86
6.4. División de números en un sistema de base cualquiera ........................ 88
Problemas resueltos .................................................................................... 92
Problemas propuestos ................................................................................ 96
Bibliografía .................................................................................................. 98
TEMA 2.- TÉCNICAS DE RECUENTO. NÚMEROS FACTORIALES Y NÚMEROS

COMBINATORIOS: PROPIEDADES. COMBINATORIA ..................... 99
1. Introducción........................................................................................... 101
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-12-20 09:46:59.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
2. Técnicas de recuento
2.1. Enumeración
2.2. Correspondencia biyectiva ................................................................ 103
2.3. Principio de adición
2.4. Principio de multiplicación................................................................. 106
2.5. Principio de inclusión-exclusión ........................................................ 108
2.6. Patrones......................................................................................... 109
3. Números factoriales. Propiedades .......................................................... 115
4. Números combinatorios. Propiedades .................................................... 118
5. Variaciones
5.1. Variaciones sin repetición ................................................................. 122
5.2. Variaciones con repetición ................................................................ 126
6. Permutaciones
6.1. Permutaciones sin repetición............................................................. 129
6.2. Permutaciones con repetición............................................................ 134
7. Combinaciones
7.1. Combinaciones sin repetición ............................................................ 136
7.2. Combinaciones con repetición ........................................................... 139
Problemas propuestos ................................................................................. 148
Bibliografía .................................................................................................. 151
TEMA 3.- NÚMEROS ENTEROS: OPERACIONES. DIVISIBILIDAD EN EL

CONJUNTO Z. NÚMEROS PRIMOS. CONGRUENCIAS. CRITERIOS
DE DIVISIBILIDAD ....................................................................... 153
1. El conjunto de los números enteros........................................................ 156
1.1. Introducción
1.2. Equivalencia de pares ordenados de números naturales ....................... 156
1.3. El conjunto de los números enteros. Su construcción a partir del
producto N x N ............................................................................... 158
1.4. Representación gráfica de los números enteros ................................... 161
2. El grupo aditivo de los números enteros
2.1. Adición de números enteros. Propiedades ........................................... 163
2.2. El grupo aditivo de los números enteros ............................................. 167
2.3. Sustracción de números enteros. Propiedades..................................... 169
3. El semigrupo multiplicativo de los números entero
3.1. Multiplicación de números enteros. Propiedades ................................. 173
3.2. El semigrupo multiplicativo de los números enteros ............................ 176
4. El anillo de los números enteros ............................................................. 178
5. Ordenación de los números enteros. Propiedades .................................. 181
6. Valor absoluto de un número entero. Propiedades ................................ 188
7. Isomorfismo de N con una parte de Z. Numerabilidad ............................ 192
8. Divisibilidad.
8.1. Divisibilidad en el conjunto N ............................................................ 194

8.2. Múltiplos, divisores y asociados en Z.................................................. 197
8.3. Divisibilidad en el anillo de los números enteros .................................. 202
8.3.1. Conceptos generales ................................................................... 202
8.3.2. Relación de divisibilidad en el anillo de los números enteros............. 204
8.3.3. Máximo común divisor ................................................................ 206
8.3.4. Mínimo común múltiplo ............................................................... 210
8.3.5. El retículo distributivo del conjunto Z
8.3.6. El algoritmo de Euclides ............................................................. 214
9. Números primos
9.1. Definiciones y propiedades ............................................................... 218
9.2. Descomposición factorial de un número.............................................. 221
9.3. Divisores de un número.................................................................... 225
10. Congruencias
10.1. Congruencias en el anillo de los números enteros ................................ 229
10.2. Sistemas de números incongruentes .................................................. 235
10.3. Restos potenciales .......................................................................... 237
11. Resultados fundamentales de la teoría elemental de números
11.1. Criterio general de divisibilidad.......................................................... 239
11.2. Criterios elementales de divisibilidad.................................................. 241
Bibliografía .................................................................................................. 260
TEMA 4.- NÚMEROS RACIONALES: OPERACIONES. CUERPO DE

FRACCIONES DE UN DOMINIO DE INTEGRIDADAD. NÚMEROS
DECIMALES Y FRACCIONES GENERATRICES ................................. 261
1. El conjunto de los números racionales
1.1. Introducción
1.2. Equivalencia de pares ordenados de números enteros .......................... 263
1.3. El conjunto de los números racionales:
su construcción a partir de Z x Z*...................................................... 265
1.4. Representación gráfica de los números racionales................................ 269
2. El grupo aditivo de los números racionales
2.1. Adición de números racionales. Propiedades ....................................... 271
2.2. El grupo aditivo de los números racionales ......................................... 275
2.3. Sustracción de números racionales .................................................... 276
3. El semigrupo multiplicativo de los números racionales
3.1. Multiplicación de números racionales. Propiedades............................... 278
3.2. El semigrupo multiplicativo de los números racionales.......................... 282
3.3. División de números racionales ........................................................ 283
4. El cuerpo de los números racionales....................................................... 285
5. Ordenación de los números racionales. Propiedades .............................. 288
6. Valor absoluto de un número racional. Propiedades ............................... 298
7. Isomorfismo de Z con una parte de Q..................................................... 300
8. Cuerpo de fracciones de un dominio de integridad ................................ 302
9. Numerabilidad del conjunto Q ................................................................ 310
10. Los números decimales ......................................................................... 311
Bibliografía .................................................................................................. 324
TEMA 5.- SUCESIONES DE NÚMEROS RACIONALES. NÚMEROS REALES:

OPERACIONES. TOPOLOGÍA DE LA RECTA REAL............................ 325
1. Introducción
1.1. Necesidad de los números reales ....................................................... 328
1.2. Breve reseña histórica sobre los números reales.................................. 330

2. Sucesiones de números racionales
2.1. Definiciones .................................................................................... 332
2.2. Adición de sucesiones. Propiedades ................................................... 334
2.3. Multiplicación de sucesiones. Propiedades........................................... 336
2.4. Sucesiones acotadas: estructura algebraica ........................................ 339
2.5. Sucesiones convergentes: límite de una sucesión ................................ 343
2.6. Sucesiones nulas: estructura algebraica
2.7. Sucesiones de Cauchy: estructura algebraica ...................................... 355
3. El cuerpo de los números reales
3.1. Equivalencia de sucesiones de Cauchy: los números reales ................... 362
3.2. El grupo aditivo de los números reales ............................................... 365
3.3. El semigrupo multiplicativo de los números reales ............................... 368
3.4. El cuerpo de los números reales ........................................................ 374
3.5. Características del cuerpo de los números reales
3.5.1. Ordenación de los números reales ................................................ 375
3.5.2. Inmersión de Q en R .................................................................. 379
3.5.3. Valor absoluto de los números reales ............................................ 381
3.5.4. R es completo ............................................................................ 383
3.5.5. R es arquimediano...................................................................... 387
3.5.6. R no es numerable ..................................................................... 392
4. El conjunto de los números reales ampliado.
4.1. Definiciones .................................................................................... 394
4.2. Límites infinitos ............................................................................... 395
4.3. El criterio de Stoltz .......................................................................... 399
5. Conjuntos acotados en R ........................................................................ 402
5.1. Definiciones .................................................................................... 402
5.2. El axioma del supremo ..................................................................... 403
6. Topología de la recta real
6.1. Definiciones generales...................................................................... 407
6.2. Intervalos y entornos en R .............................................................. 408
6.3. Conjuntos abiertos y conjuntos cerrados en R ..................................... 410
6.4. Puntos interiores, puntos exteriores y puntos frontera en R .................. 414
6.5. Puntos adherentes y puntos de acumulación en R ............................... 417
6.6. Caracterización por sucesiones de los conjuntos cerrados en R.............. 419
6.7. El teorema de Bolzano-Weierstrass .................................................... 420
7. Conjuntos compactos
7.1. Definiciones .................................................................................... 422
7.2. El teorema de Heine-Borel-Lebesgue.................................................. 423
Bibliografía .................................................................................................. 452
TEMA 6.- APROXIMACIÓN DE NÚMEROS: ERRORES. OPERACIONES

CON NÚMEROS APROXIMADOS. NOTACIÓN CIENTÍFICA ............. 455
1. El sentido de la aproximación
1.1. Introducción
1.2. Los errores y los números aproximados.............................................. 457
1.3. Necesidad de operar con números aproximados .................................. 459
2. Error absoluto de un número aproximado: cotas .................................... 460
3. Error relativo de un número aproximado: cotas ..................................... 462
4. Número de cifras exactas de un valor aproximado ................................. 464
5. Obtención de valores aproximados con todas sus cifras exactas ............ 467
6. Determinación de cotas de los errores absoluto y relativo ..................... 469
7. Errores en las operaciones elementales con números aproximados ...... 472
7.1. Adición y sustracción ....................................................................... 472
7.2. Multiplicación y división .................................................................... 478

7.3. Potenciación y radicación.................................................................. 481
8. Problema directo del cálculo con números aproximados ........................ 484
9. Problema inverso del cálculo con números aproximados........................ 486
10. Notación científica ................................................................................. 488
Bibliografía ................................................................................................. 500
TEMA 7.- SUCESIONES DE NÚMEROS REALES. PROGRESIONES

ARITMÉTICAS Y GEOMÉTRICAS: APLICACIONES.
PROGRESIONES ARITMÉTICAS DE ORDEN SUPERIOR .................. 501
1. Sucesiones de números reales................................................................ 504
1.1.Concepto de sucesión en R ............................................................... 504
1.2.Formas de definir una sucesión: propiedad característica,
término general y forma recurrente.................................................... 505
2. Progresiones aritméticas
2.1. Definiciones y caracterización ........................................................... 507
2.2. Formas de definir una progresión aritmética ....................................... 508
2.3. Interpolación aritmética ................................................................... 509
2.4. Suma de un número finito de términos consecutivos de una
progresión aritmética ....................................................................... 510
2.5. Suma de los infinitos términos de una progresión aritmética:
series aritméticas ........................................................................... 512
3. Progresiones geométricas
3.1. Definiciones y caracterización ........................................................... 514
3.2. Formas de definir una progresión geométrica ...................................... 515
3.3. Interpolación geométrica .................................................................. 517
3.4. Producto de un número finito de términos consecutivos de una
progresión geométrica ..................................................................... 518
3.5. Suma de un número finito de términos consecutivos de una
progresión geométrica...................................................................... 520
3.6. Suma de los infinitos términos de una progresión geométrica:
series geométricas........................................................................... 522
4. Aplicaciones de las progresiones ............................................................ 524
4.1. Cálculo de la fracción generatriz de los números decimales
periódicos ....................................................................................... 524
4.2. Aplicaciones a la matemática comercial
4.2.1. Interés simple ............................................................................ 526
4.2.2. Interés compuesto ..................................................................... 529
4.2.3. Anualidades
4.2.4. Anualidades de capitalización ....................................................... 531
4.2.5. Anualidades de amortización........................................................ 532
5. Progresiones aritméticas de orden superior
5.1. Funciones de variable entera ............................................................ 536
5.2. Operador diferencia en el conjunto de las funciones enteras
de variable entera: definición y propiedades........................................ 537
5.3. Diferencias de orden superior............................................................ 540
5.4. Fórmula de interpolación de Newton .................................................. 542
5.5. Progresiones aritméticas de orden superior:
definición y propiedades ................................................................... 543
Apéndice: Principales criterios de convergencia de series ........................... 566
Ejercicios de aplicación ............................................................................... 586
Bibliografía .................................................................................................. 591
TEMA 8.- NÚMEROS COMPLEJOS: OPERACIONES. FORMAS DE LOS

NÚMEROS COMPLEJOS. APLICACIONES GEOMÉTRICAS DE LOS
NÚMEROS COMPLEJOS .................................................................. 593
1. Introducción........................................................................................... 595
2. El conjunto de los números complejos.................................................... 596
3. El cuerpo de los números complejos.
3.1. El grupo aditivo de los números complejos ........................................ 597
3.2. La relación de orden en el grupo aditivo de los números
complejos ....................................................................................... 600
3.3. El R–espacio vectorial de los números complejos................................. 602
3.4. El grupo multiplicativo de los números complejos:
definición y propiedades ................................................................... 604
3.5. El cuerpo de los números complejos .................................................. 607
3.6. Isomorfismo de R con una parte de C ................................................ 608
3.7. Forma binómica de los números complejos: operaciones ...................... 609
4. Complejos conjugados. Automorfismo de C ............................................ 614
5. Representación geométrica de los números complejos .......................... 618
6. Módulo o valor absoluto de un número complejo.................................... 624
7. Forma trigonométrica de los números complejos ................................... 630
8. Potenciación de números complejos
8.1. Forma trigonométrica....................................................................... 634
8.2. Forma módulo-argumental o polar.
8.3. Forma binómica .............................................................................. 636
9. Radicación de números complejos
9.1. Raíces enésimas de un número complejo ........................................... 639
9.2. Raíces enésimas de la unidad............................................................ 642
9.3. Algunas aplicaciones geométricas de los números complejos................. 645
Bibliografía .................................................................................................. 665
TEMA 9.- SUCESIVAS AMPLIACIONES DEL CONCEPTO DE NÚMERO: EVOLU-

CIÓN HISTÓRICA Y PROBLEMAS QUE RESUELVE CADA UNA ......... 667
1. Introducción........................................................................................... 669
2. Orígenes primitivos: los números naturales
2.1. El concepto de número..................................................................... 670
2.2. Las bases de numeración primitivas................................................... 671
2.3. El lenguaje numérico y los orígenes de la numeración .......................... 673
2.4. El número natural............................................................................ 674
3. Los números enteros
3.1. China: los números negativos .......................................................... 676
3.2. La India: un símbolo para el cero ...................................................... 677
3.3. El número entero............................................................................. 679
4. Los números racionales
4.1. Egipto: las fracciones unitarias .......................................................... 680
4.2. Mesopotamia: las fracciones sexagesimales ........................................ 682
4.3. China: las fracciones decimales
4.4. El número racional: fracciones ......................................................... 684
5. Los números reales
5.1. Los inconmensurables ...................................................................... 688
5.2. Origen aritmético y geométrico de los números irracionales .................. 689
5.3. Cortaduras en el campo de los números racionales .............................. 691
5.4. Representación geométrica de los números reales ............................... 692
6. Los números complejos
6.1. Los números imaginarios .................................................................. 694
6.2. El número complejo ......................................................................... 696

Bibliografía .................................................................................................. 697
TEMA 0
ELEMENTOS DE LÓGICA PROPOSICIONAL.

FUNDAMENTOS DEL RAZONAMIENTO
MATEMÁTICO
MATEMÁTICAS I: VOLUMEN I
GUIÓN
1. Introducción.
2. Elementos de lógica proposicional.

2.1. Proposiciones.
2.2. Tipos de proposiciones.
2.3. Nexos lógicos y fórmulas lógicas.
2.4. Tablas de verdad.
2.5. Proposiciones tautológicas, contradictorias e indeterminadas. Implicación
y equivalencia.
2.6. Funciones proposicionales.
3. Fundamentos del razonamiento matemático.

3.1. Razonamiento inductivo y razonamiento deductivo.
3.2. Conceptos primarios y definiciones.
3.3. Axiomas.
3.4. Teoremas, lemas y corolarios.
3.5. Demostraciones.
3.6. Lenguaje y rigor matemáticos.
16
RAMÓN RODRÍGUEZ VALLEJO
1. INTRODUCCIÓN
El ser humano vive inmerso en la naturaleza. La necesidad ancestral de

supervivencia biológica, al igual que la del resto de los seres vivos, le ha obligado a
un proceso de adaptación al medio, pero intentando llegar más lejos. A diferencia
de otros seres, el hombre no se ha limitado a adaptarse a aquél, sino que, como
fruto de su curiosidad natural y su deseo de saber, ha procurado conocerlo y
dominarlo. Dentro de este contexto comenzaremos nuestra exposición.
La primera aproximación al estudio de cualquier faceta de la naturaleza es
siempre descriptiva y experimental, con un sentido frecuentemente práctico. La
Matemática, al igual que el resto de las ciencias, comienza siendo experimental y
utilitaria. Sin embargo, según ya hemos esbozado, el ser humano no se conforma
con observar los hechos de la vida y pretende ir más allá. Gracias a su intuición se
propone también predecir secuelas de experiencias imaginadas que guarden alguna
relación con las conocidas. Por tanto, la importancia de la intuición en el proceso de
matematización es fundamental.
En las páginas de este libro encontraremos múltiples definiciones, axiomas,
teoremas o proposiciones, corolarios, ..., integrantes, junto a un modo particular de
razonamiento, de lo que se ha venido en llamar el “edificio matemático”,
constituido por conjuntos, aplicaciones y estructuras. Todo ello proviene de que,
desgraciadamente, las posibilidades de la intuición humana son limitadas. En
ocasiones no basta para predecir determinados efectos y algunas veces incluso nos
puede engañar. Por eso la Matemática es una ciencia deductiva, que utiliza los
métodos de la Lógica para organizar y sistematizar los resultados obtenidos
mediante la experiencia y la intuición. Veamos en síntesis su forma de actuar.
Cuando empezamos a diseccionar en partes un determinado hecho natural y
establecemos relaciones entre aquellas, ya estamos construyendo un modelo
matemático del hecho natural. El modelo matemático es una representación
abstracta de un determinado tipo de fenómenos reales. Su diseño responde a este

procedimiento:
a) Se inicia con un proceso de conceptualización, en el cual se parte de una idea
intuitiva que da lugar a un concepto inspirado en dicha idea y, posteriormente,
se prescinde del punto de partida intuitivo. Así el concepto se independiza de la
situación particular que lo originó.
b) El siguiente paso es el establecimiento de unas afirmaciones primarias y
evidentes, llamadas axiomas, que no es posible deducir a partir de otras
afirmaciones más sencillas.
17
c) Se continúa, mediante métodos deductivos, con la demostración de nuevas

afirmaciones, denominadas teoremas, establecidas como consecuencia lógica de
nuestra axiomática, pero que no deben tomarse como expresión de relaciones
verdaderas en la naturaleza. Dichos teoremas pueden dar lugar a corolarios
dentro del proceso deductivo.
d) Finalmente llega el momento de la aplicación. Acabada la demostración de los
teoremas, el matemático trata sus adaptaciones a la naturaleza, aproximando
así el modelo matemático al hecho natural de partida y realizando las oportunas
correcciones.
Sin embargo, en el desarrollo de la Matemática se han formulado algunas
axiomáticas que son válidas y tienen sentido lógico para los matemáticos, pero que
no derivan de cuestiones relativas a la naturaleza. A pesar de ello, estos
matemáticos encontraron utilidades inesperadas de sus axiomáticas y han devenido
fundamentales para el conocimiento científico.
NOTA 1.1.- De lo dicho anteriormente se desprende que una afirmación es
considera verdadera cuando puede demostrarse a partir de los axiomas, o de los
teoremas deducidos previamente conforme a esos axiomas. No obstante, es preciso
fijar el modelo matemático o teoría a la que nos referimos, pues una misma
afirmación puede ser verdadera en un modelo y falsa en otro. Un ejemplo clásico es
el del número de rectas paralelas a una dada que pasan por un determinado punto:
en el modelo de Euclides es única, pues parte del plano ordinario, mientras que en
la geometría de Riemann son infinitas, al tomar como referencia la superficie
esférica.
Pasemos ya al estudio de algunos elementos de la lógica proposicional y de
los fundamentos del razonamiento matemático. Todo ello resultará aprovechable
cuando nos enfrentemos a la exposición de los diferentes temas.
18
2. ELEMENTOS DE LÓGICA PROPOSICIONAL
2.1. PROPOSICIONES
Definición 2.1.1.-
Se denomina proposición a toda expresión verbal, enunciado o discurso del
cual podemos afirmar, inequívocamente, que es verdadero o falso, pero no ambas
cosas a la vez. Las proposiciones se simbolizan mediante letras minúsculas,
normalmente desde la p en adelante, llamadas letras proposicionales.
Ejemplo 2.1.1.- Serían proposiciones “hoy es domingo” y “estamos comiendo”. No
lo serían, en cambio, “¿quién es?” y “sal de aquí”.
Definición 2.1.2.-
A cada proposición pueden asignársele dos valores lógicos: “es verdadera” o
“es falsa”, que reciben el nombre de valores de verdad. Dichos valores se
representan, respectivamente, por las letras V (ó 1) y F (ó 0).
Ejemplo 2.1.2.-
a) La proposición “15 es múltiplo de 3” es verdadera y adquiere el valor V ó 1.
b) La proposición “París es la capital de Italia” es falsa y toma el valor F ó 0.
2.2. TIPOS DE PROPOSICIONES
Existen dos tipos de proposiciones:

a) Atómicas o simples.- Son aquellas que no contienen conjunciones o términos
de enlace.
b) Moleculares o compuestas.- Son las formadas por proposiciones atómicas
relacionadas a través de conjunciones o términos de enlace.
Ejemplo 2.2.1.- Serían proposiciones atómicas:
1) El número 7 es primo.
2) Inés tiene 27 años.
Ejemplo 2.2.2.- Como casos de proposiciones moleculares podríamos señalar las
siguientes:
1) Luis está en casa y estudiando.
2) Está nublado o hace sol.
NOTA 2.2.1.- Otra clasificación usada es la que las divide en función del número
de proposiciones atómicas que las constituyen, resultando así de orden uno, de
orden dos, etc.
19
2.3. NEXOS LÓGICOS Y FÓRMULAS LÓGICAS
En el apartado anterior hemos hablado de los términos de enlace. Dichos

términos nos permiten, a partir de proposiciones simples, obtener otras simples o
compuestas. Ello nos conduce a la:
Definición 2.3.1.-
Las partes de un enunciado o discurso aparecen unidas o relacionadas
mediante palabras como “si”, “entonces”, “o”, “y”, “no”, “algunos”, “todos”, “cada”,
etc. Estas palabras se llaman nexos lógicos, términos de enlace o partículas
conectivas y componen la estructura lógica del lenguaje.
La lógica proposicional utiliza distintos términos de enlace que se hallan
recogidos en la tabla 0, siendo p y q dos proposiciones cualesquiera:
Tabla 0
NEXO LÓGICO SÍMBOLO SIGNIFICADO

Negación ¬ ó– no o no es cierto que p
Conjunción ∧ pyq
Disyunción inclusiva ∨ p o q o ambas
Condicional → si p, entonces q
Bicondicional ↔ si y sólo si p, entonces q
Disyunción exclusiva / ó ∨−
↔ p o q, pero no ambas
Definición 2.3.2.-
Las expresiones en las que figuran letras proposicionales y nexos lógicos
reciben el nombre de fórmulas lógicas o esquemas proposicionales. Cuando en
una fórmula lógica se sustituyen las letras por proposiciones dadas, resulta una
determinada proposición cuyo valor de verdad depende de los valores de verdad de
dichas proposiciones.
Ejemplo 2.3.1.-
a) Si designamos por p la proposición “llueve” y con q la proposición “el canario no
canta”, la proposición “si llueve entonces el canario no canta” se simboliza a
través de la fórmula lógica p → q.
b) Si p es la proposición “Luis es matemático” y q la proposición “María es
abogada”, la proposición “Luis es matemático y María es abogada” se escribe
con la fórmula lógica p ∧ q.
c) La proposición “Luis no es matemático” se representaría por los símbolos p ó
¬ p.
20
Las fórmulas lógicas se denominan con los mismos términos que sus nexos
correspondientes, es decir, negación, conjunción, disyunción inclusiva,
condicional, bicondicional y disyunción exclusiva. Relacionando dos fórmulas
lógicas mediante una partícula conectiva se obtiene otra fórmula lógica, que
denotará una determinada proposición. Las dos fórmulas lógicas, vinculadas por la
partícula conectiva para dar lugar a otra fórmula lógica, se escriben entre
paréntesis. Esto es necesario para precisar a qué proposiciones afectan cada uno de
los nexos lógicos.
Ejemplo 2.3.2.- Si p, q y r son tres proposiciones, la expresión p → q → r carece
de sentido, pues puede interpretarse como (p → q) → r, o también como
p → (q → r), y ambas fórmulas lógicas poseen, de manera evidente, distinto
significado.
Ejemplo 2.3.3.- La fórmula (p → q) ∧ (q ↔ r) es la conjunción de la condicional
p → q y de la bicondicional q ↔ r.
NOTA 2.3.1.- En la fórmula lógica p → q, la proposición p se llama antecedente
de la condicional y la proposición q recibe el nombre de consecuente de dicha
condicional.
En una fórmula lógica, las letras proposicionales se consideran variables que
pueden tomar los valores de verdad V o F. Según los valores de verdad de dichas
letras, la fórmula lógica adquiere el valor V o F siguiendo unos axiomas que
estableceremos posteriormente.
Definición 2.3.3.-
El álgebra de proposiciones se aplica a la construcción de fórmulas lógicas
y al estudio de sus propiedades.
2.4. TABLAS DE VERDAD
Para el desarrollo del álgebra de proposiciones establecemos un conjunto de

axiomas. Estos axiomas expresan las propiedades que hemos atribuido a las
proposiciones y a las fórmulas lógicas que las definen.
Axioma 1.-
Toda proposición representada por una fórmula lógica es verdadera o falsa,
es decir, toma el valor V o el valor F.
Axioma 2.-
Las fórmulas lógicas enunciadas simbolizan proposiciones verdaderas o
falsas, cuyos valores de verdad o falsedad dependen de los valores de verdad o
falsedad de las proposiciones que intervienen en dichas fórmulas.
21
Axioma 3.-
Si p y q son dos proposiciones cualesquiera, los valores de verdad o falsedad
de sus fórmulas lógicas vienen determinados por las siguientes tablas, llamadas
habitualmente tablas de verdad:
1ª) Negación.-
Tabla I
p ¬p
V F
F V
La negación de la proposición p es la proposición ¬ p ó p , que se lee

“no p”. Como vemos, si una proposición p es verdadera, su negación es falsa, y
viceversa.
Ejemplo 2.4.1.- La negación de la proposición p: “el gato está en la ventana” es la
proposición p : “el gato no está en la ventana”, atendiendo así a su construcción
gramatical correcta (estrictamente sería p : “no el gato está en la ventana”).
NOTA 2.4.1.- La negación de una proposición no es una proposición molecular de

orden dos, puesto que no está formada por dos proposiciones atómicas; pero, en
sentido estricto, tampoco es una proposición simple, pues en ella interviene un
nexo lógico.
2ª) Conjunción.-
Tabla II
p q p ∧ q
V V V
V F F
F V F
F F F
La conjunción de las proposiciones p y q es la proposición p ∧ q, que se lee

“p y q”. Según observamos en la tabla, la conjunción de dos proposiciones sólo es
verdadera cuando lo son las dos proposiciones componentes, resultando falsa en el
resto de los casos (alguna o las dos falsas).
Ejemplo 2.4.2.- La conjunción de las proposiciones p: “llueve” y q: “hay ruido en
la calle” es la proposición p ∧ q: “llueve y hay ruido en la calle”. Se infiere de
manera inmediata que únicamente será verdadero este enunciado si lo son las dos
proposiciones simples; para verlo basta con construir cualquiera de los otros.
22
3ª) Disyunción inclusiva.-
Tabla III
p q p ∨ q
V V V
V F V
F V V
F F F
La disyunción inclusiva (o simplemente disyunción) de las proposiciones p y

q es la proposición p ∨ q, que se lee “p o q, o ambas”. La disyunción de dos
proposiciones es verdadera cuando una o las dos proposiciones componentes son
verdaderas, resultando falsa sólo en el caso de que las dos proposiciones simples
sean falsas.
Ejemplo 2.4.3.- La disyunción de las proposiciones p: “Luis estudia” y q: “Luis
escucha música” es la proposición p ∨ q: “Luis estudia o escucha música”,
considerando la disyunción en un sentido global. Esto quiere decir que Luis puede
estar estudiando o escuchando música o haciendo ambas cosas a la vez, pues la
disyunción no es excluyente.
4ª) Condicional.-
Tabla IV
p q p → q
V V V
V F F
F V V
F F V
La condicional de las proposiciones p y q es la proposición p → q, que se lee

“si p, entonces q”. La condicional de dos proposiciones es verdadera cuando el

antecedente y el consecuente son verdaderos o cuando el antecedente es falso y el
consecuente verdadero o falso, apareciendo falsa sólo en el caso de que el
antecedente sea verdadero y el consecuente falso.
Ejemplo 2.4.4.-
a) La condicional de las proposiciones p: “el hierro es un metal” y q: “Madrid es la
capital de España” es la proposición p → q: “si el hierro es un metal, entonces
Madrid es la capital de España”. Esta proposición es verdadera, pues el
antecedente y el consecuente son verdaderos.
23
b) La proposición r → s: “si 8 es múltiplo de 3, entonces 9 es múltiplo de 5” es

una condicional verdadera, ya que las proposiciones r: “el 8 es múltiplo de 3” y
s: “el 9 es múltiplo de 5” son ambas falsas.
5ª) Bicondicional.-
Tabla V
p q p ↔ q
V V V
V F F
F V F
F F V
La bicondicional de las proposiciones p y q es la proposición p ↔ q, que se

lee “si y sólo si p, entonces q”. Como observamos en la tabla, una proposición
bicondicional sólo es verdadera cuando las dos proposiciones que la forman tienen
el mismo valor de verdad.
Ejemplo 2.4.5.- La bicondicional de las proposiciones p: “hace frío” y q: “iremos a
correr” es la proposición p ↔ q: “si y sólo si hace frío, entonces iremos a correr”.
Son también evidentes los valores de verdad de esta última proposición.
6ª) Disyunción exclusiva.-
Tabla VI
p q p ↔
/ q
V V F
V F V
F V V
F F F
La disyunción exclusiva de las proposiciones p y q es la proposición p ↔

/ q,
que se lee “p o q, pero no ambas”. La disyunción exclusiva de dos proposiciones es

verdadera cuando sólo una de las dos proposiciones componentes es verdadera,
resultando falsa en los otros casos. Si miramos las tablas de verdad V y VI,
comprobamos de manera inmediata que la disyunción exclusiva es la negación de
la bicondicional.
Ejemplo 2.4.6.- La disyunción exclusiva de las proposiciones p: “Luis estudia” y
q: “Luis escucha música” es la proposición p ↔
/ q: “Luis estudia o escucha música,
pero no ambas”, es decir, Luis nunca hace las dos cosas a la vez. En esta ocasión
se considera que los enunciados de p y q son excluyentes.
24
A partir de las tablas de verdad de los esquemas proposicionales anteriores

puede construirse la tabla de verdad de toda fórmula lógica, siendo éste el método
más cómodo para conocer la verdad o falsedad de la proposición correspondiente a
dicha fórmula. Sus valores de verdad dependerán de los valores de verdad de las
proposiciones que figuren en ella.
Para hallar la tabla de verdad de una proposición cualquiera de un orden
determinado, manifestada por su fórmula lógica, se van añadiendo columnas a los
valores de verdad iniciales, empezando con las proposiciones afectadas por los
nexos lógicos de menor extensión, continuándose el proceso hasta la obtención de
la tabla de verdad de la proposición final. Comprobemos el procedimiento mediante
unos ejemplos.
Ejemplo 2.4.7.- La tabla de verdad de la proposición ( ¬ p) ∧ (p → q) es:
Tabla VII
p q ¬p p → q ( ¬ p) ∧ (p → q)
V V F V F
V F F F F
F V V V V
F F V V V
Ejemplo 2.4.8.- La tabla de verdad de la proposición (p ∨ q) ↔ (p ∨ r) será:
Tabla VIII
P q r p ∨ q p ∨ r (p ∨ q) ↔ (p ∨ r)
V V V V V V
V V F V V V
V F V V V V
F V V V V V
V F F V V V
F V F V F F
F F V F V F
F F F F F V
NOTA 2.4.2.- Demostraremos en otro momento que el número de filas de una

proposición de orden n, es decir, los casos posibles de los distintos sistemas de
valores de verdad que pueden tomar las proposiciones que la integran, es igual al
número de variaciones con repetición de dos elementos (V y F) tomados de n en n,
cuyo valor es 2 n . Por eso son 4 = 2 2 en el ejemplo 2.4.7. y 8 = 2 3 en el 2.4.8.
25
2.5. PROPOSICIONES TAUTOLÓGICAS,

CONTRADICTORIAS E INDETERMINADAS.
IMPLICACIÓN Y EQUIVALENCIA
Aunque formalmente sean de diferente naturaleza, seguiremos identificando

las proposiciones con sus fórmulas lógicas características, dada la comodidad que
supone trabajar utilizando las tablas de verdad.
Definición 2.5.1.-
Se dice que una proposición compuesta, representada por su fórmula lógica,
es una proposición tautológica o una tautología cuando siempre es verdadera,
independientemente de la verdad o falsedad de las proposiciones simples que la
constituyen. Las tautologías son designadas habitualmente en los textos mediante
la letra T.
Ejemplo 2.5.1.- La proposición definida por [p → ( ¬ q)] ↔ [q → ( ¬ p)] es una
tautología, como se comprueba en la siguiente tabla:
Tabla IX
p Q ¬p ¬q p → ( ¬ q) q → ( ¬ p) [p → ( ¬ q)] ↔ [q → ( ¬ p)]
V V F F F F V
V F F V V V V
F V V F V V V
F F V V V V V
Definición 2.5.2.-
Una proposición compuesta, simbolizada por su fórmula lógica, es una
proposición contradictoria o una contradicción cuando siempre es falsa, con
independencia de la verdad o falsedad de las proposiciones simples que la forman.
Las contradicciones se denotan a través de la letra C.
Ejemplo 2.5.2.- La proposición definida por ( ¬ p) ∧ (p ∧ q) es una contradicción,
según observamos en la próxima tabla:
Tabla X
p q ¬p p ∧ q ( ¬ p) ∧ (p ∧ q)
V V F V F
V F F F F
F V V F F
F F V F F
26
Definición 2.5.3.-
Se dice que una proposición compuesta, representada por su fórmula lógica,
es una proposición indeterminada o una indeterminación cuando en su tabla
de verdad aparecen valores verdaderos y falsos, dependiendo de los valores de
verdad y falsedad de las proposiciones simples que la integran.
Ejemplo 2.5.3.- La proposición definida por la fórmula ( ¬ p) ∧ (p → q) es una
proposición indeterminada, como se desprende de la tabla VII.
Definición 2.5.4.-
Se denomina implicación a cualquier proposición condicional que es una
tautología. El símbolo utilizado para designar las implicaciones es ( ⇒ ).
Ejemplo 2.5.4.- La proposición simbolizada por (p ∧ q) → p es una implicación.
En efecto:
Tabla XI
p q p ∧ q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
Al ser la condicional anterior una tautología, podemos escribir la expresión

(p ∧ q) ⇒ p.
Definición 2.5.5.-
Se llama equivalencia a toda proposición bicondicional que constituye una
tautología. El símbolo empleado para denotar las equivalencias es ( ⇔ ).
Ejemplo 2.5.5.- La proposición manifestada por [p → ( ¬ q)] ↔ [q → ( ¬ p)] es
una equivalencia, según colegimos observando la tabla IX; luego puede escribirse
[p → ( ¬ q)] ⇔ [q → ( ¬ p)].
Definición 2.5.6.-
Dadas dos proposiciones compuestas p y q, decimos que son equivalentes

si sus fórmulas lógicas correspondientes poseen la misma tabla de verdad. Esto
significa que, independientemente de los valores de verdad de las letras
proposicionales, ambas fórmulas toman el mismo valor de verdad. Por extensión, la
equivalencia de proposiciones se representa mediante p ⇔ q.
NOTA 2.5.1.- Algunos textos aplican el signo (=) para indicar la equivalencia de
dos proposiciones. Las proposiciones p y q pueden ser, lógicamente, simples o
compuestas, es decir, integradas estas últimas por otras proposiciones simples.
27
Ejemplo 2.5.6.- Vamos a comprobar que las proposiciones definidas con las
fórmulas ¬ (p ∧ q) y ( ¬ p) ∨ ( ¬ q) son equivalentes. Para ello construimos sus
tablas de verdad y verificamos la coincidencia. En efecto:
Tabla XII
P q ¬p ¬q p ∧ q ¬ (p ∧ q) ( ¬ p) ∨ ( ¬ q)
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Según esto, ¬ (p ∧ q) ⇔ ( ¬ p) ∨ ( ¬ q), lo que también puede expresarse

como p ∧ q ⇔ ¬ [( ¬ p) ∨ ( ¬ q)] (*), pues resulta inmediato que ¬ ( ¬ p) ⇔ p.
Por tanto, a partir de la expresión (*) deducimos que una conjunción es equivalente
a la negación de una disyunción.
NOTA 2.5.2.- Es evidente que un par de tautologías o un par de contradicciones
son proposiciones equivalentes.
PROPIEDADES DE LAS TAUTOLOGÍAS Y DE LAS CONTRADICCIONES.-
Supongamos que p es una proposición cualquiera, T una tautología y C una
contradicción. Con la disyunción inclusiva y la conjunción formamos la siguiente
tabla de verdad:
Tabla XIII
P T C p ∨ T p ∧ T p ∨ C p ∧ C
V V F V V V F
F V F V F F F
Observando la tabla anterior se infieren estas propiedades:

1ª) La disyunción de una proposición y una tautología es una tautología.-
∨ T ⇔ T.
p
2ª) La conjunción de una proposición y una tautología es equivalente a dicha
proposición.-
p ∧ T ⇔ p.
3ª) La disyunción de una proposición y una contradicción equivale a la misma
proposición.-
p ∨ C ⇔ p.
4ª) La conjunción de una proposición y una contradicción es una contradicción.-
p ∧ C ⇔ C.
28
NOTA 2.5.3.- El llamado principio de sustitución permite que, dada una fórmula
lógica cualquiera, pueda sustituirse en ella una proposición por otra que resulte
equivalente.
Conclusiones como las precedentes pueden obtenerse aplicando los distintos
postulados del axioma 3. Supongamos que P es el conjunto de todas las
proposiciones y consideremos los nexos lógicos conjunción, disyunción y negación.
Siguiendo el procedimiento de construcción de las tablas de verdad y siendo p, q, r
elementos de P, dejamos al cuidado del lector la constatación de las siguientes
equivalencias:
a) Propiedades idempotentes.-
p ∧ p ⇔ p; p ∨ p ⇔ p.
b) Propiedades conmutativas.-
p ∧ q ⇔ q ∧ p; p ∨ q ⇔ q ∨ p.
c) Propiedades asociativas.-
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r; p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r.
d) Elementos neutros.-
p ∧ T ⇔ p; p ∨ C ⇔ p.
e) Propiedades simplificativas.-
p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p.
f) Propiedades distributivas.-
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r); p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r).
g) Elementos complementarios.-
p ∧ ( ¬ p) ⇔ C; p ∨ ( ¬ p) ⇔ T.
h) Propiedad de la doble negación.-
¬ ( ¬ p) ⇔ p.
i) Leyes de De Morgan.-
¬ (p ∧ q) ⇔ ( ¬ p) ∨ ( ¬ q); ¬ (p ∨ q) ⇔ ( ¬ p) ∧ ( ¬ q).
Ejemplo 2.5.7.- Comprobemos las propiedades idempotentes mediante una tabla
de verdad:
Tabla XIV
p p p ∧ p p ∨ p
V V V V
F F F F
NOTA 2.5.4.- Como veremos más adelante, el conjunto (P, ∧ , ∨ ) con las
propiedades a), b), c), e), f) y g) es lo que se denomina habitualmente un álgebra
de Boole.
29
2.6. FUNCIONES PROPOSICIONALES
Tomemos un conjunto no vacío E, finito o infinito, al cual llamaremos

referencial. Recordemos ahora que en la teoría de conjuntos se emplean los
siguientes símbolos:
a) ∈ : pertenece.
b) ∉ : no pertenece.
c) /: tal que.
d) ∪ : unión de conjuntos.
e) ∩ : intersección de conjuntos.
f) ∀ : para todo elemento (cuantificador universal).
g) ∃ : existe al menos un elemento (cuantificador existencial).
h) ⊂ : subconjunto.
i) φ : conjunto vacío (sin elementos).
Definición 2.6.1.-
Se denomina función proposicional sobre E a toda expresión f (x) tal
que, al sustituir x por cualquier elemento a ∈ E, se obtiene una proposición f (a),
cuyo valor (verdadero o falso) está perfectamente determinado.
Ejemplo 2.6.1.- Consideremos el conjunto de los números naturales. En este
conjunto la expresión “f (x) / x es primo” es una función proposicional, ya que de
ella obtenemos proposiciones tales como “f (3) / 3 es primo” (V) y “f (8) / 8 es
primo” (F).
Parece evidente que una función proposicional arbitraria f (x) determina en
el conjunto E una clasificación (partición). Las clases serían:
a) E f ,1 (clase verdadera o verdad): subconjunto de E con los elementos para
los que la proposición es cierta, o sea, E f ,1 = {x ∈ E / f (x) es verdadera}.

b) E f ,0 (clase falsa): subconjunto de E formado por la totalidad de elementos
para los cuales la proposición es falsa, es decir, E f ,0 = {x ∈ E / f (x) es falsa}.

Ejemplo 2.6.2.- Si admitimos que 1 es primo, las clases resultantes en el ejemplo

anterior son E f ,1 = {1, 2, 3, 5, 7, 11, …} y E f ,0 = {4, 6, 8, 9, 10, 12, …}.
NOTA 2.6.1.- Dado que el conjunto unión está compuesto por los elementos que
pertenecen, al menos, a uno de los conjuntos y el conjunto intersección lo
constituyen los elementos comunes a ambos conjuntos, de la clasificación
precedente colegimos que:
1) E f ,1 ∪ E f ,0 = E.
2) E f ,1 ∩ E f ,0 = φ .
30

Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 10 - 31)

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 10 - 31)

Încărcat de

Drepturi de autor:

Formate disponibile

ÍNDICE GENERAL

TEMA 0.- ELEMENTOS DE LÓGICA PROPOSICIONAL. FUNDAMENTOS

TEMA 1.- NÚMEROS NATURALES Y SISTEMAS DE NUMERACIÓN:

5.4. Paso de un sistema de numeración a otro........................................... 81

TEMA 2.- TÉCNICAS DE RECUENTO. NÚMEROS FACTORIALES Y NÚMEROS

TEMA 3.- NÚMEROS ENTEROS: OPERACIONES. DIVISIBILIDAD EN EL

8.1. Divisibilidad en el conjunto N ............................................................ 194

TEMA 4.- NÚMEROS RACIONALES: OPERACIONES. CUERPO DE

TEMA 5.- SUCESIONES DE NÚMEROS RACIONALES. NÚMEROS REALES:

1.2. Breve reseña histórica sobre los números reales.................................. 330

TEMA 6.- APROXIMACIÓN DE NÚMEROS: ERRORES. OPERACIONES

7.2. Multiplicación y división .................................................................... 478

TEMA 7.- SUCESIONES DE NÚMEROS REALES. PROGRESIONES

TEMA 8.- NÚMEROS COMPLEJOS: OPERACIONES. FORMAS DE LOS

TEMA 9.- SUCESIVAS AMPLIACIONES DEL CONCEPTO DE NÚMERO: EVOLU-

6.2. El número complejo ......................................................................... 696

ELEMENTOS DE LÓGICA PROPOSICIONAL.

2. Elementos de lógica proposicional.

3. Fundamentos del razonamiento matemático.

El ser humano vive inmerso en la naturaleza. La necesidad ancestral de

abstracta de un determinado tipo de fenómenos reales. Su diseño responde a este

c) Se continúa, mediante métodos deductivos, con la demostración de nuevas

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

2.2. TIPOS DE PROPOSICIONES

Existen dos tipos de proposiciones:

2.3. NEXOS LÓGICOS Y FÓRMULAS LÓGICAS

En el apartado anterior hemos hablado de los términos de enlace. Dichos

NEXO LÓGICO SÍMBOLO SIGNIFICADO

2.4. TABLAS DE VERDAD

Para el desarrollo del álgebra de proposiciones establecemos un conjunto de

La negación de la proposición p es la proposición ¬ p ó p , que se lee

gramatical correcta (estrictamente sería p : “no el gato está en la ventana”).

NOTA 2.4.1.- La negación de una proposición no es una proposición molecular de

La conjunción de las proposiciones p y q es la proposición p ∧ q, que se lee

3ª) Disyunción inclusiva.-

La disyunción inclusiva (o simplemente disyunción) de las proposiciones p y

La condicional de las proposiciones p y q es la proposición p → q, que se lee

“si p, entonces q”. La condicional de dos proposiciones es verdadera cuando el

b) La proposición r → s: “si 8 es múltiplo de 3, entonces 9 es múltiplo de 5” es

La bicondicional de las proposiciones p y q es la proposición p ↔ q, que se

La disyunción exclusiva de las proposiciones p y q es la proposición p ↔

que se lee “p o q, pero no ambas”. La disyunción exclusiva de dos proposiciones es

A partir de las tablas de verdad de los esquemas proposicionales anteriores

Ejemplo 2.4.8.- La tabla de verdad de la proposición (p ∨ q) ↔ (p ∨ r) será:

NOTA 2.4.2.- Demostraremos en otro momento que el número de filas de una

cuyo valor es 2 n . Por eso son 4 = 2 2 en el ejemplo 2.4.7. y 8 = 2 3 en el 2.4.8.

2.5. PROPOSICIONES TAUTOLÓGICAS,

Aunque formalmente sean de diferente naturaleza, seguiremos identificando

según observamos en la próxima tabla:

Al ser la condicional anterior una tautología, podemos escribir la expresión

Dadas dos proposiciones compuestas p y q, decimos que son equivalentes

Según esto, ¬ (p ∧ q) ⇔ ( ¬ p) ∨ ( ¬ q), lo que también puede expresarse

Observando la tabla anterior se infieren estas propiedades:

2.6. FUNCIONES PROPOSICIONALES

Tomemos un conjunto no vacío E, finito o infinito, al cual llamaremos

los que la proposición es cierta, o sea, E f ,1 = {x ∈ E / f (x) es verdadera}.

para los cuales la proposición es falsa, es decir, E f ,0 = {x ∈ E / f (x) es falsa}.

Ejemplo 2.6.2.- Si admitimos que 1 es primo, las clases resultantes en el ejemplo

S-ar putea să vă placă și