Ejemplos Proposiciones Logicas

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

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.

Introducción
Ejemplos:
3 1 + 1 = 2.

Introducción
Ejemplos:
3 1 + 1 = 2.

Introducción
Ejemplos:
3 1 + 1 = 2.

Introducción
Ejemplos:
3 1 + 1 = 2.

Introducción
Ejemplos:
3 1 + 1 = 2.

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.

Por ejemplo:
5 Él es bueno.

Por ejemplo:
5 Él es bueno.

Por ejemplo:
5 Él es bueno.

Por ejemplo:
5 Él es bueno.

Por ejemplo:
5 Él es bueno.

Por ejemplo:
5 Él es bueno.

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.

3 x + 3 = π.

3 x + 3 = π.

3 x + 3 = π.

3 x + 3 = π.

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.

Conclusión
1 Ser oración.

Conclusión
1 Ser oración.

Conclusión
1 Ser oración.

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.

1
1

1
1

1
1

1
1
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.



advervio negativo.



advervio negativo.

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)













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.

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.

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', ès falso que', etcétera.

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

Negaciones


p ¬p
V F
F V

Negaciones


p ¬p
V F
F V

Negaciones


p ¬p
V F
F V

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

expresiones equivalentes como è',`pero',àunque',àun
cuando',`tanto...como',`sino',`ni..ni',`sin embargo',àdemás', etcétera.

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.



lenguaje coloquial.



lenguaje coloquial.

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

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

expresiones equivalentes como ù',`ya..ya',`bien...bien',òra...ora',`sea...sea',
etcétera.
En español la disyunción ò' 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.

Disyunciones

etcétera.
exclusivo o fuerte.

conjuntamente.

den conjuntamente.

Disyunciones

etcétera.
exclusivo o fuerte.

conjuntamente.

den conjuntamente.

Disyunciones

etcétera.
exclusivo o fuerte.

conjuntamente.

den conjuntamente.

En las proposiciones disyuntivas no es necesario que sus proposiciones
presencia de la conjunción ò'.
Una proposición disyuntiva es conmutativa, es decir, se puede permutar 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.



lenguaje coloquial.

saber, ∨, Y.



lenguaje coloquial.

saber, ∨, Y.



lenguaje coloquial.

saber, ∨, Y.

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

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

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', à menos que', à
no ser que', `salvo que'. `sólo si,' `solamente si', etcétera.

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.









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.


implicativas.



implicativas.


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.

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.

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.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.


razonamiento:

entonces n es par.

sea par.

sea par.

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.

n2 es par.



n2 es par.



n2 es par.



n2 es par.



n2 es par.



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.

















































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


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


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

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.




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.


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

el recíproco.


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

el recíproco.

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.

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

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


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


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

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).


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).


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).


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).


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).


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).


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).

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.







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.


pasos:


negativo.

hace ambigua.


pasos:


negativo.

hace ambigua.


pasos:


negativo.

hace ambigua.

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.

Ejemplo

igual a dos rectos.
p ⇒ q.

Ejemplo

igual a dos rectos.
p ⇒ q.

Ejemplo

igual a dos rectos.
p ⇒ q.

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.







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.


ejemplo.




ejemplo.




ejemplo.




ejemplo.



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.



para x 6= 2.



para x 6= 2.

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.





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 .

Cuanticadores

donde

Cuanticadores

donde

Cuanticadores

donde

Cuanticadores

donde

Cuanticadores

donde

Cuanticadores

donde

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.










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.


se representa como:
∃n∈Z n2 = 9.


se representa como:
∃n∈Z n2 = 9.

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

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.










Las negaciones de los cuanticadores universales
Las observaciones anteriores nos dicen que:
¬ (∀n∈U pn ) ≡ ∃n∈U ¬pn .
¬ (∃n∈U pn ) ≡ ∀n∈U ¬pn .

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

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

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

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.

Ejemplos Proposiciones Logicas

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejemplos Proposiciones Logicas

Cargado por

Copyright:

Formatos disponibles

Fundamentos de Geometría

Ejemplos de proposiciones lógicas

Laura Hidalgo Solís

Universidad Autónoma Metropolitana

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

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

1 Dolly fue la primera oveja clonada.

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

1 Dolly fue la primera oveja clonada.

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

1 Dolly fue la primera oveja clonada.

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

1 Dolly fue la primera oveja clonada.

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

1 Dolly fue la primera oveja clonada.

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

1 Dolly fue la primera oveja clonada.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 Debemos honrar a los héroes patrios.

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

4 Quizá mañana haga calor.

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

2 José es un número irracional.

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

2 José es un número irracional.

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

2 José es un número irracional.

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

2 José es un número irracional.

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

2 José es un número irracional.

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

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

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

3 Las descripciones denidas.

3 Las descripciones denidas.

3 Las descripciones denidas.

3 Las descripciones denidas.

3 Las descripciones denidas.