Fundamentos de Geometría

Ejemplos de proposiciones lógicas

Laura Hidalgo Solís

Universidad Autónoma Metropolitana

Unidad Iztapalapa

21 de agosto de 2020

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 1 / 46

Contenido I
1 Introducción

2 Clases de proposiciones

Proposiciones atómicas

3 Proposiciones moleculares

Negaciones
Conjunciones
Disyunciones
Condicionales
La condicional en las matemáticas
Recíproco, inverso y contrarecíproco
Enunciados equivalentes
Formalizar una proposición
Demostraciones o inferencias
Cuanticadores

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 2 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Introducción

Cabe notar que todas las proposiciones lógicas son oraciones enunciativas,
es decir, son oraciones que arman o niegan algo y por ende, pueden ser
verdaderas o falsas.

Ejemplos:

1 Dolly fue la primera oveja clonada.

2 El hidógeno es un átomo.

3 1 + 1 = 2.
4 Marte es el cuarto planeta en orden de distancia al Sol.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 3 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Mientras que, no todas las oraciones son proposiciones lógicas, las
oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas son proposiciones, pues ninguna de ellas arma
o niega algo, no son verdaderas ni falsas.

Por ejemplo:

1 ¾Qué es el álgebra?

2 Debemos honrar a los héroes patrios.

3 ½Cielos!½Casi me saco la lotería!

4 Quizá mañana haga calor.

5 Él es bueno.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 4 / 46

Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición:

1 El cuadrado es guapo.

2 José es un número irracional.

3 x + 3 = π.
4 α es la capital de Jalisco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 5 / 46

Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición:

1 El cuadrado es guapo.

2 José es un número irracional.

3 x + 3 = π.
4 α es la capital de Jalisco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 5 / 46

Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición:

1 El cuadrado es guapo.

2 José es un número irracional.

3 x + 3 = π.
4 α es la capital de Jalisco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 5 / 46

Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición:

1 El cuadrado es guapo.

2 José es un número irracional.

3 x + 3 = π.
4 α es la capital de Jalisco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 5 / 46

Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición:

1 El cuadrado es guapo.

2 José es un número irracional.

3 x + 3 = π.
4 α es la capital de Jalisco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 5 / 46

Conclusión

Para que una expresión lingüistica sea proposición debe satisfacer las
siguientes propiedades:

1 Ser oración.

2 Ser una oración aseverativa.

3 Ser o bien verdadera o bien falsa.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 6 / 46

Conclusión

Para que una expresión lingüistica sea proposición debe satisfacer las
siguientes propiedades:

1 Ser oración.

2 Ser una oración aseverativa.

3 Ser o bien verdadera o bien falsa.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 6 / 46

Conclusión

Para que una expresión lingüistica sea proposición debe satisfacer las
siguientes propiedades:

1 Ser oración.

2 Ser una oración aseverativa.

3 Ser o bien verdadera o bien falsa.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 6 / 46

Conclusión

Para que una expresión lingüistica sea proposición debe satisfacer las
siguientes propiedades:

1 Ser oración.

2 Ser una oración aseverativa.

3 Ser o bien verdadera o bien falsa.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 6 / 46

No son proposiciones:

1 Las oraciones interrogativas, imperativas o exhortativas, desiderativas,

exclamativas o admirativas y las dubitativas.
1

2 Las pseudoproposiciones.

3 Las descripciones denidas.

4 Los juicios de valor.

1
Duvitativo, va: adj. que implica o denota duda.
LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 7 / 46
No son proposiciones:

1 Las oraciones interrogativas, imperativas o exhortativas, desiderativas,

exclamativas o admirativas y las dubitativas.
1

2 Las pseudoproposiciones.

3 Las descripciones denidas.

4 Los juicios de valor.

1
Duvitativo, va: adj. que implica o denota duda.
LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 7 / 46
No son proposiciones:

1 Las oraciones interrogativas, imperativas o exhortativas, desiderativas,

exclamativas o admirativas y las dubitativas.
1

2 Las pseudoproposiciones.

3 Las descripciones denidas.

4 Los juicios de valor.

1
Duvitativo, va: adj. que implica o denota duda.
LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 7 / 46
No son proposiciones:

1 Las oraciones interrogativas, imperativas o exhortativas, desiderativas,

exclamativas o admirativas y las dubitativas.
1

2 Las pseudoproposiciones.

3 Las descripciones denidas.

4 Los juicios de valor.

1
Duvitativo, va: adj. que implica o denota duda.
LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 7 / 46
No son proposiciones:

1 Las oraciones interrogativas, imperativas o exhortativas, desiderativas,

exclamativas o admirativas y las dubitativas.
1

2 Las pseudoproposiciones.

3 Las descripciones denidas.

4 Los juicios de valor.

1
Duvitativo, va: adj. que implica o denota duda.
LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 7 / 46
Clases de proposiciones

Las proposiciones pueden ser de dos clases:

1 [Atómicas] Las proposiciones atómicas (simples o elementales) carecen

de conjunciones gramaticales típicas o conectivas ( `y',ò',
`si...entonces', `si y sólo si') o del advervio de negación (`no').

2 [Moleculares] Las proposiciones moleculares (compuestas o coligativas)

contienen alguna conjunción gramatical típica o conectiva o el
advervio negativo.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 8 / 46

Clases de proposiciones

Las proposiciones pueden ser de dos clases:

1 [Atómicas] Las proposiciones atómicas (simples o elementales) carecen

de conjunciones gramaticales típicas o conectivas ( `y',ò',
`si...entonces', `si y sólo si') o del advervio de negación (`no').

2 [Moleculares] Las proposiciones moleculares (compuestas o coligativas)

contienen alguna conjunción gramatical típica o conectiva o el
advervio negativo.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 8 / 46

Clases de proposiciones

Las proposiciones pueden ser de dos clases:

1 [Atómicas] Las proposiciones atómicas (simples o elementales) carecen

de conjunciones gramaticales típicas o conectivas ( `y',ò',
`si...entonces', `si y sólo si') o del advervio de negación (`no').

2 [Moleculares] Las proposiciones moleculares (compuestas o coligativas)

contienen alguna conjunción gramatical típica o conectiva o el
advervio negativo.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 8 / 46

Ejemplos de proposiciones atómicas

1 La UNAM es la universidad más antigua de México. (Fue fundada en

Septiembre de 1551).

2 La Universidad Autónoma de Santo Domingo (UASD) es la

universidad más antigua de América. (Fue fundada en Octubre de
1538 mediante la bula papal de Paulo II).

3 El 3 es un número primo.

4 El 6 es un número perfecto. (Un número perfecto es un entero

positivo que es igual a la suma de sus divisores propios)

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 9 / 46

Ejemplos de proposiciones atómicas

1 La UNAM es la universidad más antigua de México. (Fue fundada en

Septiembre de 1551).

2 La Universidad Autónoma de Santo Domingo (UASD) es la

universidad más antigua de América. (Fue fundada en Octubre de
1538 mediante la bula papal de Paulo II).

3 El 3 es un número primo.

4 El 6 es un número perfecto. (Un número perfecto es un entero

positivo que es igual a la suma de sus divisores propios)

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 9 / 46

Ejemplos de proposiciones atómicas

1 La UNAM es la universidad más antigua de México. (Fue fundada en

Septiembre de 1551).

2 La Universidad Autónoma de Santo Domingo (UASD) es la

universidad más antigua de América. (Fue fundada en Octubre de
1538 mediante la bula papal de Paulo II).

3 El 3 es un número primo.

4 El 6 es un número perfecto. (Un número perfecto es un entero

positivo que es igual a la suma de sus divisores propios)

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 9 / 46

Ejemplos de proposiciones atómicas

1 La UNAM es la universidad más antigua de México. (Fue fundada en

Septiembre de 1551).

2 La Universidad Autónoma de Santo Domingo (UASD) es la

universidad más antigua de América. (Fue fundada en Octubre de
1538 mediante la bula papal de Paulo II).

3 El 3 es un número primo.

4 El 6 es un número perfecto. (Un número perfecto es un entero

positivo que es igual a la suma de sus divisores propios)

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 9 / 46

Las proposiciones atómicas de acuerdo a sus elementos constitutivos
pueden clasicarse en predicativas y relacionales.

1 Las proposiciones predicativas constan de sujeto y predicado.

2 Las proposiciones relacionales constan de dos o más sujetos vinculados

entre si.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 10 / 46

Las proposiciones atómicas de acuerdo a sus elementos constitutivos
pueden clasicarse en predicativas y relacionales.

1 Las proposiciones predicativas constan de sujeto y predicado.

2 Las proposiciones relacionales constan de dos o más sujetos vinculados

entre si.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 10 / 46

Negaciones

Las proposiciones negativas llevan el adverbio de negación `no', o sus

expresiones equivalentes como `nunca', jamás'`, `tampoco', `no es verdad
que', `no es cierto que', `es falso que', etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 11 / 46

Negaciones

Dada una proposición ‘p 0 , su negación, que denotaremos

0 ¬p 0 , se obtiene

agregando (apropiadamente) la conjunción `no', y es aquella proposición

que tiene los valores de verdad opuestos a los de ‘p 0 .
Por ejemplo, la negación de la proposición La Universidad Autónoma de
Santo Domingo (UASD) es la universidad más antigua de América, es La
Universidad Autónoma de Santo Domingo (UASD) no es la universidad
más antigua de América.

La tabla de verdad asociada a la negación es:

p ¬p
V F
F V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 12 / 46

Negaciones

Dada una proposición ‘p 0 , su negación, que denotaremos

0 ¬p 0 , se obtiene

agregando (apropiadamente) la conjunción `no', y es aquella proposición

que tiene los valores de verdad opuestos a los de ‘p 0 .
Por ejemplo, la negación de la proposición La Universidad Autónoma de
Santo Domingo (UASD) es la universidad más antigua de América, es La
Universidad Autónoma de Santo Domingo (UASD) no es la universidad
más antigua de América.

La tabla de verdad asociada a la negación es:

p ¬p
V F
F V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 12 / 46

Negaciones

Dada una proposición ‘p 0 , su negación, que denotaremos

0 ¬p 0 , se obtiene

agregando (apropiadamente) la conjunción `no', y es aquella proposición

que tiene los valores de verdad opuestos a los de ‘p 0 .
Por ejemplo, la negación de la proposición La Universidad Autónoma de
Santo Domingo (UASD) es la universidad más antigua de América, es La
Universidad Autónoma de Santo Domingo (UASD) no es la universidad
más antigua de América.

La tabla de verdad asociada a la negación es:

p ¬p
V F
F V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 12 / 46

Negaciones

Dada una proposición ‘p 0 , su negación, que denotaremos

0 ¬p 0 , se obtiene

agregando (apropiadamente) la conjunción `no', y es aquella proposición

que tiene los valores de verdad opuestos a los de ‘p 0 .
Por ejemplo, la negación de la proposición La Universidad Autónoma de
Santo Domingo (UASD) es la universidad más antigua de América, es La
Universidad Autónoma de Santo Domingo (UASD) no es la universidad
más antigua de América.

La tabla de verdad asociada a la negación es:

p ¬p
V F
F V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 12 / 46

Conjunciones

Las proposiciones conjuntivas llevan la conjunción copulativa `y', o sus

expresiones equivalentes como `e',`pero',`aunque',`aun
cuando',`tanto...como',`sino',`ni..ni',`sin embargo',`además', etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 13 / 46

En las proposiciones conjuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `y'.

Una proposición conjuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 14 / 46

En las proposiciones conjuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `y'.

Una proposición conjuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 14 / 46

En las proposiciones conjuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `y'.

Una proposición conjuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 14 / 46

Tabla de verdad de la conjunción

Dadas dos proposiciones p y q, la conjunción de p y q, que se escribe

p ∧ q, y se lee p y q; la conjunción es verdadera sólo cuando p y q son
verdaderas simultáneamente; y falsa, en cualquier otro caso.

p q p∧q q∧p
V V V V
V F F F
F V F F
F F F F

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 15 / 46

Disyunciones

Las proposiciones disyuntivas llevan la conjunción copulativa `o', o sus

expresiones equivalentes como `u',`ya..ya',`bien...bien',`ora...ora',`sea...sea',
etcétera.

En español la disyunción `o' tiene dos sentidos: uno inclusivo o débil y otro
exclusivo o fuerte.

La proposición disyuntiva inclusiva admite que las dos alternativas se den

conjuntamente.

La proposición disyuntiva exclusiva no admite que las dos alternativas se

den conjuntamente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 16 / 46

Disyunciones

Las proposiciones disyuntivas llevan la conjunción copulativa `o', o sus

expresiones equivalentes como `u',`ya..ya',`bien...bien',`ora...ora',`sea...sea',
etcétera.

En español la disyunción `o' tiene dos sentidos: uno inclusivo o débil y otro
exclusivo o fuerte.

La proposición disyuntiva inclusiva admite que las dos alternativas se den

conjuntamente.

La proposición disyuntiva exclusiva no admite que las dos alternativas se

den conjuntamente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 16 / 46

Disyunciones

Las proposiciones disyuntivas llevan la conjunción copulativa `o', o sus

expresiones equivalentes como `u',`ya..ya',`bien...bien',`ora...ora',`sea...sea',
etcétera.

En español la disyunción `o' tiene dos sentidos: uno inclusivo o débil y otro
exclusivo o fuerte.

La proposición disyuntiva inclusiva admite que las dos alternativas se den

conjuntamente.

La proposición disyuntiva exclusiva no admite que las dos alternativas se

den conjuntamente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 16 / 46

Disyunciones

Las proposiciones disyuntivas llevan la conjunción copulativa `o', o sus

expresiones equivalentes como `u',`ya..ya',`bien...bien',`ora...ora',`sea...sea',
etcétera.

En español la disyunción `o' tiene dos sentidos: uno inclusivo o débil y otro
exclusivo o fuerte.

La proposición disyuntiva inclusiva admite que las dos alternativas se den

conjuntamente.

La proposición disyuntiva exclusiva no admite que las dos alternativas se

den conjuntamente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 16 / 46

En las proposiciones disyuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `o'.

Una proposición disyuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

En español no existe un signo especial para la disyunción inclusiva y otro

para la exclusiva, es decir, en ambos casos se usa la misma partícula ò';
mientras que en lógica si existen signos especiales para distinguirlos, a
saber, ∨, Y.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 17 / 46

En las proposiciones disyuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `o'.

Una proposición disyuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

En español no existe un signo especial para la disyunción inclusiva y otro

para la exclusiva, es decir, en ambos casos se usa la misma partícula ò';
mientras que en lógica si existen signos especiales para distinguirlos, a
saber, ∨, Y.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 17 / 46

En las proposiciones disyuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `o'.

Una proposición disyuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

En español no existe un signo especial para la disyunción inclusiva y otro

para la exclusiva, es decir, en ambos casos se usa la misma partícula ò';
mientras que en lógica si existen signos especiales para distinguirlos, a
saber, ∨, Y.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 17 / 46

En las proposiciones disyuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suciente la
presencia de la conjunción `o'.

Una proposición disyuntiva es conmutativa, es decir, se puede permutar el

orden de sus proposiciones componentes si alterar la conjunción.

Esto siempre es posible en en lenguaje de la lógica, pero no siempre en el

lenguaje coloquial.

En español no existe un signo especial para la disyunción inclusiva y otro

para la exclusiva, es decir, en ambos casos se usa la misma partícula ò';
mientras que en lógica si existen signos especiales para distinguirlos, a
saber, ∨, Y.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 17 / 46

Tabla de verdad de la disyunción matemática
(inclusiva o dévil)

Dadas dos proposiciones p y q, la disyunción de p y q, que se escribe

p ∨ q, y se lee p o q; la disyunción es falsa sólo cuando p y q son falsas
simultáneamente; y verdadera, en cualquier otro caso.

p q p∨q q∨p
V V V V
V F V V
F V V V
F F F F

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 18 / 46

Tabla de verdad de la disyunción matemática
(exclusiva o fuerte)

Dadas dos proposiciones p y q, la disyunción fuerte de p y q , que se escribe

p Y q , la disyunción fuerte es verdadera siempre que ambas proposiciones p
y q no sean verdaderas o falsas al mismo tiempo.
Nota: En algunos libros se utiliza el símbolo = para la disyunción exclusiva

o fuerte.

p q p∨q q =p
V V V F
V F V V
F V V V
F F F F

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 19 / 46

Condicionales (o implicaciones)

Las proposiciones condicionales llevan la conjunción condicional compuesta

`si...entonces', o sus expresiones equivalentes como `si', `siempre que', `con
tal que', `puesto que',`ya que', `porque', `cuando', `de', `a menos que', `a
no ser que', `salvo que'. `sólo si,' `solamente si', etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 20 / 46

Toda proposición condicional consta de dos elementos:

1 El antecedente (o hipótesis).

2 El consecuente (o tesis).

La proposición que sigue a la palabra si se llama antecedente y, la que sigue

a la palabra entonces se denomina consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 21 / 46

Toda proposición condicional consta de dos elementos:

1 El antecedente (o hipótesis).

2 El consecuente (o tesis).

La proposición que sigue a la palabra si se llama antecedente y, la que sigue

a la palabra entonces se denomina consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 21 / 46

Toda proposición condicional consta de dos elementos:

1 El antecedente (o hipótesis).

2 El consecuente (o tesis).

La proposición que sigue a la palabra si se llama antecedente y, la que sigue

a la palabra entonces se denomina consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 21 / 46

Toda proposición condicional consta de dos elementos:

1 El antecedente (o hipótesis).

2 El consecuente (o tesis).

La proposición que sigue a la palabra si se llama antecedente y, la que sigue

a la palabra entonces se denomina consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 21 / 46

Toda proposición condicional consta de dos elementos:

1 El antecedente (o hipótesis).

2 El consecuente (o tesis).

La proposición que sigue a la palabra si se llama antecedente y, la que sigue

a la palabra entonces se denomina consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 21 / 46

Toda proposición implicativa es condicional, pero no toda proposición
condicional es implicativa.

Solamente las proposiciones condicionales que son tautologías son

implicativas.

Para que una proposición condicional sea lógicamente correcta no es

necesario que haya relación de atingencia entre el antecedente y el
consecuente, es decir, que la verdad de una proposición condicional es
independiente de las relaciones que puedan existir o no entre los
signicados del antecedente y el consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 22 / 46

Toda proposición implicativa es condicional, pero no toda proposición
condicional es implicativa.

Solamente las proposiciones condicionales que son tautologías son

implicativas.

Para que una proposición condicional sea lógicamente correcta no es

necesario que haya relación de atingencia entre el antecedente y el
consecuente, es decir, que la verdad de una proposición condicional es
independiente de las relaciones que puedan existir o no entre los
signicados del antecedente y el consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 22 / 46

Toda proposición implicativa es condicional, pero no toda proposición
condicional es implicativa.

Solamente las proposiciones condicionales que son tautologías son

implicativas.

Para que una proposición condicional sea lógicamente correcta no es

necesario que haya relación de atingencia entre el antecedente y el
consecuente, es decir, que la verdad de una proposición condicional es
independiente de las relaciones que puedan existir o no entre los
signicados del antecedente y el consecuente.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 22 / 46

En toda proposición condicional el consecuente es condición necesaria del
antecedente y el antecedente es condición suciente del consecuente.

Por ejemplo Si los cuerpos se calientan, entonces se dilatan, el consecuente

se dilatan es condición necesaria del antecedente se calientan y el
antecedente se calientan es condición suciente del consecuente se dilatan.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 23 / 46

En toda proposición condicional el consecuente es condición necesaria del
antecedente y el antecedente es condición suciente del consecuente.

Por ejemplo Si los cuerpos se calientan, entonces se dilatan, el consecuente

se dilatan es condición necesaria del antecedente se calientan y el
antecedente se calientan es condición suciente del consecuente se dilatan.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 23 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

La condicional en las matemáticas

En matemáticas la relación de implicación se utiliza como un método de

razonamiento:

p⇒q signica ahora q se deduce lógicamente de p.

Por ejemplo, en los números naturales, el teorema directo: Si n2 es par,
entonces n es par.
puede expresarse equivalentemente diciendo:

1 Que n2 sea par es condición suciente (pero no necesaria) para que n

sea par.

2 Que n sea par es condición necesaria (pero no suciente) para que n2

sea par.

3 n es par si n2 es par.

4 n2 es par sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 24 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

 1 q ⇒ p El teorema recíproco del directo dado será: si n es par entonces
n2 es par.
2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si n2 es impar
entonces n es impar.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si n es

impar entonces n2 es impar.

Nótamos que el teorema del ejemplo anterior puede completarse como:

n2 es par si y sólo si n es par.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 25 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Otro ejemplo, consideremos el teorema directo:

Si el triángulo 4ABC es equilátero, entonces el triángulo 4ABC es

isóceles; p ⇒ q, donde:
p: El triángulo 4ABC es equilátero;
q: El triángulo 4ABC es isóceles.

1 q⇒p El teorema recíproco del directo dado será: si 4ABC es

isóceles entonces 4ABC es equilátero.

2 ¬p ⇒ ¬q El teorema inverso del directo dado será: si 4ABC no es

equilátero entonces 4ABC no es isóceles.

3 ¬q ⇒ ¬p El teorema contrarecíproco del directo dado será: si 4ABC

no es isóceles entonces 4ABC no es equilátero.

Nótese que el enunciado: el triángulo 4ABC es equilátero si y sólo si el

triángulo 4ABC es isóceles es falso. p ⇔ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 26 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la condicional si p entonces q, que se

escribe p ⇒ q, y se lee si p entonces q; la condiciónal es falsa sólo cuando
el antecedente p es verdadero y el consecuente q es falso simultáneamente;
y verdadera, en cualquier otro caso.

Nótese que, la condicional no es conmutativa.

p q p⇒q q⇒p
V V V V
V F F V
F V V F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 27 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la condicional si p entonces q, que se

escribe p ⇒ q, y se lee si p entonces q; la condiciónal es falsa sólo cuando
el antecedente p es verdadero y el consecuente q es falso simultáneamente;
y verdadera, en cualquier otro caso.

Nótese que, la condicional no es conmutativa.

p q p⇒q q⇒p
V V V V
V F F V
F V V F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 27 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la condicional si p entonces q, que se

escribe p ⇒ q, y se lee si p entonces q; la condiciónal es falsa sólo cuando
el antecedente p es verdadero y el consecuente q es falso simultáneamente;
y verdadera, en cualquier otro caso.

Nótese que, la condicional no es conmutativa.

p q p⇒q q⇒p
V V V V
V F F V
F V V F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 27 / 46

Recíproco, inverso y contrarecíproco

Si p⇒q se llama un teorema directo, entonces

1 q⇒p se llama el teorema recíproco.

2 (¬p) ⇒ (¬q) se llama el teorema inverso.

3 (¬q) ⇒ (¬p) se llama el teorema contrarecíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 28 / 46

Recíproco, inverso y contrarecíproco

Si p⇒q se llama un teorema directo, entonces

1 q⇒p se llama el teorema recíproco.

2 (¬p) ⇒ (¬q) se llama el teorema inverso.

3 (¬q) ⇒ (¬p) se llama el teorema contrarecíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 28 / 46

Recíproco, inverso y contrarecíproco

Si p⇒q se llama un teorema directo, entonces

1 q⇒p se llama el teorema recíproco.

2 (¬p) ⇒ (¬q) se llama el teorema inverso.

3 (¬q) ⇒ (¬p) se llama el teorema contrarecíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 28 / 46

Recíproco, inverso y contrarecíproco

Si p⇒q se llama un teorema directo, entonces

1 q⇒p se llama el teorema recíproco.

2 (¬p) ⇒ (¬q) se llama el teorema inverso.

3 (¬q) ⇒ (¬p) se llama el teorema contrarecíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 28 / 46

Las tablas de verdad están dadas como:

teo. directo contrarecíproco recíproco inverso

p q p⇒q ¬q ⇒ ¬p q⇒p ¬p ⇒ q
V V V V V V
V F F F V V
F V V V F F
F F V V V V

Las tablas de verdad de estas proposiciones nos dicen que el teorema

directo y su contrarecíproco son equivalentes, así como el teorema inverso y
el recíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 29 / 46

Las tablas de verdad están dadas como:

teo. directo contrarecíproco recíproco inverso

p q p⇒q ¬q ⇒ ¬p q⇒p ¬p ⇒ q
V V V V V V
V F F F V V
F V V V F F
F F V V V V

Las tablas de verdad de estas proposiciones nos dicen que el teorema

directo y su contrarecíproco son equivalentes, así como el teorema inverso y
el recíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 29 / 46

Las tablas de verdad están dadas como:

teo. directo contrarecíproco recíproco inverso

p q p⇒q ¬q ⇒ ¬p q⇒p ¬p ⇒ q
V V V V V V
V F F F V V
F V V V F F
F F V V V V

Las tablas de verdad de estas proposiciones nos dicen que el teorema

directo y su contrarecíproco son equivalentes, así como el teorema inverso y
el recíproco.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 29 / 46

La bicondicional

Las proposiciones bicondicionales llevan la conjunción compuesta '...sí y

sólo si...', o sus expresiones equivalentes como `cuando y sólo cuando', `si...,
entonces y sólo entonces...', `si..., entonces y recíprocamente...' etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 30 / 46

Las proposiciones bicondicionales se caracterizan porque establecen dos
condicionales, pero de sentido inverso, dadas dos proposiciones

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 31 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la bicondicional p sí, y sólo si q, que se

escribe p ⇔ q, y se lee p si y sólo si q; la bicondiciónal es verdadera sólo
cuando el antecedente p y el consecuente q tienen el mismo valor de
verdad; y falsa, en cualquier otro caso.

Nótese que, la bicondicional si es conmutativa.

p q p⇔q q⇔p
V V V V
V F F F
F V F F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 32 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la bicondicional p sí, y sólo si q, que se

escribe p ⇔ q, y se lee p si y sólo si q; la bicondiciónal es verdadera sólo
cuando el antecedente p y el consecuente q tienen el mismo valor de
verdad; y falsa, en cualquier otro caso.

Nótese que, la bicondicional si es conmutativa.

p q p⇔q q⇔p
V V V V
V F F F
F V F F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 32 / 46

Tabla de verdad de la condicional o implicación

Dadas dos proposiciones p y q, la bicondicional p sí, y sólo si q, que se

escribe p ⇔ q, y se lee p si y sólo si q; la bicondiciónal es verdadera sólo
cuando el antecedente p y el consecuente q tienen el mismo valor de
verdad; y falsa, en cualquier otro caso.

Nótese que, la bicondicional si es conmutativa.

p q p⇔q q⇔p
V V V V
V F F F
F V F F
F F V V

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 32 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Enunciados equivalentes

Recordamos que dos proposiciones son equivalentes si tienen la misma

tabla de verdad y utilizamos el símbolo ≡ para relacionarlas.

1 ¬(p ∧ q) ≡ (¬p) ∨ (¬q).

2 ¬(p ∨ q) ≡ (¬p) ∧ (¬q).
3 ((¬p) ∨ q) ≡ p ⇒ q.
4 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p)).
5 (¬(p ⇒ q)) ≡ (p ∧ ¬q).
6 ¬(p ⇔ q) ≡ ((p ∧ ¬q)) ∨ (q ∧ ¬p).

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 33 / 46

Formalizar una proposición

Formalizar una proposición signica abstraer su forma lógica, esto es,

debemos representarla simbólicamente.

Toda proposición tiene su forma lógica y su fórmula.

La forma lógica de una proposición es otra proposición equivalente a la

primera con la diferencia de que en ella toda su estructura sintática está
completamente explicitada.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 34 / 46

Formalizar una proposición

Formalizar una proposición signica abstraer su forma lógica, esto es,

debemos representarla simbólicamente.

Toda proposición tiene su forma lógica y su fórmula.

La forma lógica de una proposición es otra proposición equivalente a la

primera con la diferencia de que en ella toda su estructura sintática está
completamente explicitada.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 34 / 46

Formalizar una proposición

Formalizar una proposición signica abstraer su forma lógica, esto es,

debemos representarla simbólicamente.

Toda proposición tiene su forma lógica y su fórmula.

La forma lógica de una proposición es otra proposición equivalente a la

primera con la diferencia de que en ella toda su estructura sintática está
completamente explicitada.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 34 / 46

La técnica de formalización

La técnica de formalización de proposiciones comprende los siguientes

pasos:

1 Se hace explícita su forma lógica empleando las conjunciones y, o ,

si...entonces, si y sólo si , y el advervio no en sustitución de sus
expresiones equivalentes.

2 Se halla su fórmula reemplaando cada proposición atómica pir una

variable proposicional, las conjunciones gramaticales pos sus
operadores lógicos correspondientes y el adverbio no por el operrador
negativo.

3 Los signos de agrupación se usan para establecer una jerarquía entre

los operadores de una fórmula lógica, pero sólo cuando su omisión se
hace ambigua.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 35 / 46

La técnica de formalización

La técnica de formalización de proposiciones comprende los siguientes

pasos:

1 Se hace explícita su forma lógica empleando las conjunciones y, o ,

si...entonces, si y sólo si , y el advervio no en sustitución de sus
expresiones equivalentes.

2 Se halla su fórmula reemplaando cada proposición atómica pir una

variable proposicional, las conjunciones gramaticales pos sus
operadores lógicos correspondientes y el adverbio no por el operrador
negativo.

3 Los signos de agrupación se usan para establecer una jerarquía entre

los operadores de una fórmula lógica, pero sólo cuando su omisión se
hace ambigua.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 35 / 46

La técnica de formalización

La técnica de formalización de proposiciones comprende los siguientes

pasos:

1 Se hace explícita su forma lógica empleando las conjunciones y, o ,

si...entonces, si y sólo si , y el advervio no en sustitución de sus
expresiones equivalentes.

2 Se halla su fórmula reemplaando cada proposición atómica pir una

variable proposicional, las conjunciones gramaticales pos sus
operadores lógicos correspondientes y el adverbio no por el operrador
negativo.

3 Los signos de agrupación se usan para establecer una jerarquía entre

los operadores de una fórmula lógica, pero sólo cuando su omisión se
hace ambigua.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 35 / 46

La técnica de formalización

La técnica de formalización de proposiciones comprende los siguientes

pasos:

1 Se hace explícita su forma lógica empleando las conjunciones y, o ,

si...entonces, si y sólo si , y el advervio no en sustitución de sus
expresiones equivalentes.

2 Se halla su fórmula reemplaando cada proposición atómica pir una

variable proposicional, las conjunciones gramaticales pos sus
operadores lógicos correspondientes y el adverbio no por el operrador
negativo.

3 Los signos de agrupación se usan para establecer una jerarquía entre

los operadores de una fórmula lógica, pero sólo cuando su omisión se
hace ambigua.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 35 / 46

Ejemplo

Si T es un triángulo, entonces la suma de los ángulos interiores de T es

igual a dos rectos.

p: T es un tríangulo.

q: La suma de los ángulos interiores de T es igual a dos rectos.

p ⇒ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 36 / 46

Ejemplo

Si T es un triángulo, entonces la suma de los ángulos interiores de T es

igual a dos rectos.

p: T es un tríangulo.

q: La suma de los ángulos interiores de T es igual a dos rectos.

p ⇒ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 36 / 46

Ejemplo

Si T es un triángulo, entonces la suma de los ángulos interiores de T es

igual a dos rectos.

p: T es un tríangulo.

q: La suma de los ángulos interiores de T es igual a dos rectos.

p ⇒ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 36 / 46

Ejemplo

Si T es un triángulo, entonces la suma de los ángulos interiores de T es

igual a dos rectos.

p: T es un tríangulo.

q: La suma de los ángulos interiores de T es igual a dos rectos.

p ⇒ q.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 36 / 46

Demostraciones o inferencias

Una inferencia (razonamiento, deducción, argumentación) es una operación

lógica que consiste en derivar, a partir de la verdad de ciertas proposiciones
conocidas como premisas (en nuestro caso la hipótesis) la verdad de otra
proposición conocida como conclusión (es decir, nuestra tesis).

Las premisas de una inferencia son proposiciones que ofrecen las razones
para aceptar la conclusión.

Preceden a las premisasm en inferencias desordenadas, las palabras puesto

que, ya que, pues, porque, siempre que, si, etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 37 / 46

Demostraciones o inferencias

Una inferencia (razonamiento, deducción, argumentación) es una operación

lógica que consiste en derivar, a partir de la verdad de ciertas proposiciones
conocidas como premisas (en nuestro caso la hipótesis) la verdad de otra
proposición conocida como conclusión (es decir, nuestra tesis).

Las premisas de una inferencia son proposiciones que ofrecen las razones
para aceptar la conclusión.

Preceden a las premisasm en inferencias desordenadas, las palabras puesto

que, ya que, pues, porque, siempre que, si, etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 37 / 46

Demostraciones o inferencias

Una inferencia (razonamiento, deducción, argumentación) es una operación

lógica que consiste en derivar, a partir de la verdad de ciertas proposiciones
conocidas como premisas (en nuestro caso la hipótesis) la verdad de otra
proposición conocida como conclusión (es decir, nuestra tesis).

Las premisas de una inferencia son proposiciones que ofrecen las razones
para aceptar la conclusión.

Preceden a las premisasm en inferencias desordenadas, las palabras puesto

que, ya que, pues, porque, siempre que, si, etcétera.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 37 / 46

La conclusión de una inferencia es la proposición que se arma sobre la
base de las premisas, Preceden a la conclusión las palabras luego, por
tanto, por consiguiente, en consecuencia, etcétera.

Además, en inferencias desordenadas, la proposición inmediatamente

anterior a las palabras que preceden a las premisas es la conclusión. Por
ejemplo.

Los postulados son proposiciones primitivas de la matemática. Luego, los

postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la

matemática o de la lógica.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 38 / 46

La conclusión de una inferencia es la proposición que se arma sobre la
base de las premisas, Preceden a la conclusión las palabras luego, por
tanto, por consiguiente, en consecuencia, etcétera.

Además, en inferencias desordenadas, la proposición inmediatamente

anterior a las palabras que preceden a las premisas es la conclusión. Por
ejemplo.

Los postulados son proposiciones primitivas de la matemática. Luego, los

postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la

matemática o de la lógica.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 38 / 46

La conclusión de una inferencia es la proposición que se arma sobre la
base de las premisas, Preceden a la conclusión las palabras luego, por
tanto, por consiguiente, en consecuencia, etcétera.

Además, en inferencias desordenadas, la proposición inmediatamente

anterior a las palabras que preceden a las premisas es la conclusión. Por
ejemplo.

Los postulados son proposiciones primitivas de la matemática. Luego, los

postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la

matemática o de la lógica.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 38 / 46

La conclusión de una inferencia es la proposición que se arma sobre la
base de las premisas, Preceden a la conclusión las palabras luego, por
tanto, por consiguiente, en consecuencia, etcétera.

Además, en inferencias desordenadas, la proposición inmediatamente

anterior a las palabras que preceden a las premisas es la conclusión. Por
ejemplo.

Los postulados son proposiciones primitivas de la matemática. Luego, los

postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la

matemática o de la lógica.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 38 / 46

La conclusión de una inferencia es la proposición que se arma sobre la
base de las premisas, Preceden a la conclusión las palabras luego, por
tanto, por consiguiente, en consecuencia, etcétera.

Además, en inferencias desordenadas, la proposición inmediatamente

anterior a las palabras que preceden a las premisas es la conclusión. Por
ejemplo.

Los postulados son proposiciones primitivas de la matemática. Luego, los

postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la

matemática o de la lógica.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 38 / 46

Formas proposicionales

Anteriormente hemos dicho que una proposición es una expresión que

puede ser verdadera o falsa.

Por ejemplo, en R el enunciado: x +1=3 es verdadero para x =2 y falso

para x 6= 2.
Pero el enunciado x 2 − 9 = (x − 3)(x + 3) es verdadero para todo x ∈ R.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 39 / 46

Formas proposicionales

Anteriormente hemos dicho que una proposición es una expresión que

puede ser verdadera o falsa.

Por ejemplo, en R el enunciado: x +1=3 es verdadero para x =2 y falso

para x 6= 2.
Pero el enunciado x 2 − 9 = (x − 3)(x + 3) es verdadero para todo x ∈ R.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 39 / 46

Formas proposicionales

Anteriormente hemos dicho que una proposición es una expresión que

puede ser verdadera o falsa.

Por ejemplo, en R el enunciado: x +1=3 es verdadero para x =2 y falso

para x 6= 2.
Pero el enunciado x 2 − 9 = (x − 3)(x + 3) es verdadero para todo x ∈ R.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 39 / 46

Una forma proposicional o proposición abierta, es una armación que
contiene a una o más variables, la cual se convierte en una proposición
lógica cuando se especican los valores de las variables.

1 Las formas proposicionales pueden contener dos o más variables,

donde una variable es un elemento en una armación que puede ser
reemplazada por un elemento de un conjunto U.
2 La denición anterior no es completa, en tanto que se reere a las
variables, las cuales hasta ahora no han sido denidas.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 40 / 46

Una forma proposicional o proposición abierta, es una armación que
contiene a una o más variables, la cual se convierte en una proposición
lógica cuando se especican los valores de las variables.

1 Las formas proposicionales pueden contener dos o más variables,

donde una variable es un elemento en una armación que puede ser
reemplazada por un elemento de un conjunto U.
2 La denición anterior no es completa, en tanto que se reere a las
variables, las cuales hasta ahora no han sido denidas.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 40 / 46

Una forma proposicional o proposición abierta, es una armación que
contiene a una o más variables, la cual se convierte en una proposición
lógica cuando se especican los valores de las variables.

1 Las formas proposicionales pueden contener dos o más variables,

donde una variable es un elemento en una armación que puede ser
reemplazada por un elemento de un conjunto U.
2 La denición anterior no es completa, en tanto que se reere a las
variables, las cuales hasta ahora no han sido denidas.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 40 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

Cuanticadores

Consideremos la forma proposicional:

Si n es un entero par, entonces n2 es un entero par.

Escribimos pn ⇒ qn .
donde
pn : n es un entero par.
qn : n2 es un entero par.
pn y qn son formas proposicionales.
Aunque el enunciado  si n es un entero par, entonces n2 es un entero par,
en realidad signica:
Para todos los enteros n, si n es un entero par, entonces n2 es un entero
par. ∀n∈Z pn ⇒ qn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 41 / 46

El cuanticador universal

El símbolo ∀ se lee para todo y se llama cuanticador universal.

Podemos observar que el enunciado ∀n ∈ U : pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para cada valor n en donde pn sea

verdadera, entonces el enunciado ∀n ∈ U : pn ⇒ qn es verdadero.
2 Si hay al menos un n para el cual el enunciado pn es verdadero y qn es
falso, entonces el enunciado ∀n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 42 / 46

El cuanticador universal

El símbolo ∀ se lee para todo y se llama cuanticador universal.

Podemos observar que el enunciado ∀n ∈ U : pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para cada valor n en donde pn sea

verdadera, entonces el enunciado ∀n ∈ U : pn ⇒ qn es verdadero.
2 Si hay al menos un n para el cual el enunciado pn es verdadero y qn es
falso, entonces el enunciado ∀n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 42 / 46

El cuanticador universal

El símbolo ∀ se lee para todo y se llama cuanticador universal.

Podemos observar que el enunciado ∀n ∈ U : pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para cada valor n en donde pn sea

verdadera, entonces el enunciado ∀n ∈ U : pn ⇒ qn es verdadero.
2 Si hay al menos un n para el cual el enunciado pn es verdadero y qn es
falso, entonces el enunciado ∀n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 42 / 46

El cuanticador universal

El símbolo ∀ se lee para todo y se llama cuanticador universal.

Podemos observar que el enunciado ∀n ∈ U : pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para cada valor n en donde pn sea

verdadera, entonces el enunciado ∀n ∈ U : pn ⇒ qn es verdadero.
2 Si hay al menos un n para el cual el enunciado pn es verdadero y qn es
falso, entonces el enunciado ∀n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 42 / 46

El cuanticador existencial

El enunciado, existe un número entero cuyo cuadrado es 9 simbólicamente

se representa como:

∃n∈Z n2 = 9.

pn : es el enunciado n2 = 9.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 43 / 46

El cuanticador existencial

El enunciado, existe un número entero cuyo cuadrado es 9 simbólicamente

se representa como:

∃n∈Z n2 = 9.

pn : es el enunciado n2 = 9.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 43 / 46

El cuanticador existencial

El enunciado, existe un número entero cuyo cuadrado es 9 simbólicamente

se representa como:

∃n∈Z n2 = 9.

pn : es el enunciado n2 = 9.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 43 / 46

El símbolo ∃ se lee existe y se llama cuanticador existencial.

Podemos observar que el enunciado ∃n ∈ U pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para algún valor n en donde pn sea

verdadera, entonces el enunciado ∃n ∈ U : pn ⇒ qn es verdadero.
2 Si para todo n para el cual el enunciado pn es verdadero y qn es falso,
entonces el enunciado ∃n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 44 / 46

El símbolo ∃ se lee existe y se llama cuanticador existencial.

Podemos observar que el enunciado ∃n ∈ U pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para algún valor n en donde pn sea

verdadera, entonces el enunciado ∃n ∈ U : pn ⇒ qn es verdadero.
2 Si para todo n para el cual el enunciado pn es verdadero y qn es falso,
entonces el enunciado ∃n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 44 / 46

El símbolo ∃ se lee existe y se llama cuanticador existencial.

Podemos observar que el enunciado ∃n ∈ U pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para algún valor n en donde pn sea

verdadera, entonces el enunciado ∃n ∈ U : pn ⇒ qn es verdadero.
2 Si para todo n para el cual el enunciado pn es verdadero y qn es falso,
entonces el enunciado ∃n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 44 / 46

El símbolo ∃ se lee existe y se llama cuanticador existencial.

Podemos observar que el enunciado ∃n ∈ U pn ⇒ qn ya no es una forma

proposicional, ya es una proposición lógica.

1 Si la proposición qn es verdadera para algún valor n en donde pn sea

verdadera, entonces el enunciado ∃n ∈ U : pn ⇒ qn es verdadero.
2 Si para todo n para el cual el enunciado pn es verdadero y qn es falso,
entonces el enunciado ∃n∈U pn ⇒ qn es falso.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 44 / 46

Las negaciones de los cuanticadores universales

Las observaciones anteriores nos dicen que:

¬ (∀n∈U pn ) ≡ ∃n∈U ¬pn .

¬ (∃n∈U pn ) ≡ ∀n∈U ¬pn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 45 / 46

Las negaciones de los cuanticadores universales

Las observaciones anteriores nos dicen que:

¬ (∀n∈U pn ) ≡ ∃n∈U ¬pn .

¬ (∃n∈U pn ) ≡ ∀n∈U ¬pn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 45 / 46

Las negaciones de los cuanticadores universales

Las observaciones anteriores nos dicen que:

¬ (∀n∈U pn ) ≡ ∃n∈U ¬pn .

¬ (∃n∈U pn ) ≡ ∀n∈U ¬pn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 45 / 46

Las negaciones de los cuanticadores universales

Las observaciones anteriores nos dicen que:

¬ (∀n∈U pn ) ≡ ∃n∈U ¬pn .

¬ (∃n∈U pn ) ≡ ∀n∈U ¬pn .

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 45 / 46

Referencias

[L] Lógica de proposiciones https://sisbib.unmsm.edu.pe/

BibVirtualData/libros/Filosofia/intro_logica/1_parte.pdf
Zaldivar, F., Fundamentos de álgebra. Ediciones Cientícas
Universitarias, Fondo de Cultura Económica. México.

LHS (UAMI) Fundamentos de Geometría 21 de agosto de 2020 46 / 46