Matemática Discreta

Proposiciones

Maestro: José Calatayud Hermoza

Docente – Universidad Continental
jcalatayud@continental.edu.pe
 PROPOSICIONES
PROPOSITO

• El Docente debe de presentar la asignatura y la metodología que se

desarrollará en el semestre.

El estudiante:

• Es evaluado en conocimientos previos.

• Identifica enunciados y proposiciones.
• Utiliza los conectores lógicos en la formación de fórmulas moleculares y
como base para la formulación de inferencias.
 LA PROPOSICION
Una Proposición para considerarse como tal debe cumplir las siguientes
condiciones:

1. Se trata de un enunciado en función informativa.

Ejemplo: Los deportistas son muy bohemios.

Además debe estar en sentido aseverativo, ya que no sería proposición

cuando decimos:

¿Sabías que los deportistas son muy bohemios?

Pues no afirma, ni niega, esta en sentido interrogativo.

2. Lo que se informa, debe tener sentido lógico.

Ejemplo:
Mi perro esta rezando.
El libro pesa 1 Kg.

En el primer caso se trata de un absurdo, ya que no se puede contrastar el hecho de que

un perro rece. En el segundo caso es proposición, puesto que el peso si es atribuible y
contrastable cuando se informa acerca de un objeto como el libro.

Gisela es una mujer ocupada.

Gisela vale por 3.

¿En cuál de los casos descritos es una proposición?

3. Finalmente es proposición cuando puede describirse como verdadero o falso
(no ambos a la vez)

•Ejemplo:
• 9 es un cuadrado perfecto.

• Barcelona es la capital de España.

Mgº Juan Lira

 ENUNCIADOS QUE NO SON PROPOSICIONES

Los enunciados afectivos o emotivos:

Ejemplo: Yo detesto a los violadores.

Las expresiones afectivas pueden ser descritas como sinceras o no sinceras, mas no
como verdaderas o falsas.

Las órdenes, peticiones o mandatos.

Ejemplo: Cierra la puerta, ¡detente!

Los enunciados en función mixta.

Ejemplo: ¡Cuidado!, el perro muerde.
Cuando se menciona situaciones ficticias, absurdas o imaginarias:

Ejemplo: Caperucita y el lobo se casaron.

Los enunciados metalingüísticos.

Ejemplo: Murciélago contiene las 5 vocales.

El uso de figuras literarias, refranes, paráfrasis.

Ejemplo: Me gustas cuando callas porque estás como ausente, y me

oyes desde lejos, y sin embargo lamento que mi voz no te toque.
Los enunciados metafísicos (por ser incontrastables).
Ejemplo: Dios existe, El diablo tentó al asesino, Hay una razón
que todo dirige.

Los juicios de valor, juicios morales, estéticos, etc.

Ejemplo: Aquella escultura es bella, María es
una mujer bondadosa.

Los enunciados desiderativos.

Ejemplo: Espero que te vaya bien, ojalá regreses pronto,
te deseo lo mejor.
 Conectores lógicos
Los conectores lógicos sirven para construir proposiciones moleculares.

• ´~´: equivale a la negación, se lee ´no´

• ´∧´: equivale a la conjunción, se lee ´y´
• ´∨´: equivale a la disyunción inclusiva, se lee ´o´
• ‘∨’ : equivale a la disyunción, se lee ´o p o q´
• ´→´: equivale a la condicional, se lee ´si … entonces ….´
• ´↔´: equivale a la bicondicional, se lee ´si y solo si´
 Sinónimos de los conectores
Puede haber varias maneras de leer un mismo signo tal como se muestra en seguida:

• Para la negación: ´¬´

´no´ ≡ ´no es el caso que´ ≡ ´no se da que´ ≡ ´no ocurre que´
• Para la conjunción: ´∧´
´y´ ≡ ´además´ ≡ ´agregamos´ ≡ ´también´ ≡ ´pero´ ≡ ´sin embargo´ ≡ ´aunque´
≡ punto seguido(.) ≡ coma (,)
• Para la disyunción inclusiva: ´∨´
´o´ ≡ ´uno u otro´
• Para la disyunción exclusiva: ´∨´
´o´ ≡ ´o uno u otro´
• Para la condicional: ´→´
´si … entonces …´ ≡ ´si ….´ ≡ ´…. entonces …´
• Para la bicondicional: ´↔´
´si y solo si´ ≡ ´entonces y solo entonces
 FORMULACION DE INFERENCIAS

¿QUE ES FORMALIZAR?

Es pasar las proposiciones del lenguaje natural al lenguaje formal o

proposicional. Esto facilita la verificación o comprobación y el análisis de
nuestro razonamiento mediante las inferencias de la lógica formal.

FORMALIZACION DE PROPOSICIONES ATOMICAS

Es colocar una variable proposicional a cada proposición expresada en el
lenguaje natural.

FORMALIZACON DE PROPOSCIONES MOLECULARES

Es utilizar un conjunto de variables proposicionales que nos permitan
expresar el lenguaje natural en proposicional.
FORMALIZACION DE PROPOSICIONES CON CONDICIONAL
INVERSO

Uno de los temas que causa mayor problema es simbolizar el conector

condicional pero dada en forma inversa.
El condicional tiene la formulación: «Si A entonces B», simbolizado como
A → B, esto indica que si se da A, se deberá de dar B.
Pero también puede expresase de otra forma: B es causado por A. Cuando
expresamos en el lenguaje natural se puede decir, que se dio la variable
proposicional A porque se dio la variable proposicional B.

Ejemplo 01.
Simbolice el siguiente enunciado: Luis es arbitro o es medico, sin embargo no
consigue trabajo.

p: Luis es arbitro q: Luis es medico r: Luis no consigue trabajo

 Su formalización es: (p ∨ q) ∧ r

Ejemplo 02. Simbolice el siguiente enunciado: Juan ira al estadio, si y solo si su hermana
se quedara cuidando su casa. Juan no fue al estadio, debido a que su hermana salió de
compras.

P: Juan ira al estadio

q: Su hermana se quedara cuidando su casa
r: Su hermana salió de compras

Su formalización es: (p ↔ q) ∧ (r → ~p)

Ejemplo 03. Simbolice el siguiente enunciado: La cosecha será un desastre, ya que las
lluvias se alejaron por completo. Sin embargo, si se hace una buena inversión, entonces
se podría revertir esta situación.
p: La cosecha será un desastre
q: Las lluvias se alejaron por completo
r : Se hace una buena inversión
s: Se podrá revertir esta situación
Su formalización es: (q → p) ∧ (r → s)
Ejemplo 04. Simbolice el siguiente enunciado: No es cierto que los poetas son introvertidos o
narcisistas. Pero, si es verdad que estos son muy amables y consecuentes con sus cosas. Además, si
los poetas son introvertidos no tienen mucho porvenir.
P: Los poetas son introvertidos
q: Los poetas son narcisistas
r:Los poetas son muy amables
s: Los poetas son muy consecuentes con sus cosas
t: Los poetas tienen mucho porvenir
Su formalización es: [~ (p ∨ q) ∧ (r ∧ s)] ∧ (p → ~t)
 EJERCICIOS PARA DESARROLLAR EN CLASE

1. Si Ricardo admite el compromiso, entonces, o va a la fiesta o atiende su

negocio. Pero Ricardo va a la fiesta. Luego, si Ricardo admite el compromiso,

entonces no atiende su negocio.

p = Ricardo admite el compromiso

q = Ricardo va ala fiesta

r = Ricardo entiende su negocio

2. Si Luis gana la primera partida, entonces, si quiere aumentar sus ganancias,

entonces, continuara jugando. Es así que Luis continúa jugando. Luego, si Luis

gana su primera partida, entonces quiere aumentar sus ganancias.

Mgº Juan Lira
3. Si hay lluvias en la sierra, entonces los agricultores obtendrán buenas ganancias y
mejoraran su forma de vida. Si mejoran su forma de vida, la sierra progresa. Por consiguiente,
si hay lluvias en la sierra, entonces, o los agricultores obtienen buenas ganancias o la sierra no
progresa.
4. Si Sócrates se empeña en censura los vicios políticos, entonces aumentara el odio de sus
adversarios y será acusado ante el tribunal ateniense. Si aumenta el odio de sus adversarios o
es acusado ante el tribunal ateniense, será condenado a muerte. Por consiguiente, si Sócrates
se empeña en censurar los vicios políticos, será condenado a muerte.
5. La adhesión a una doctrina debe ser racional. No obstante, si comienza prestando fe a una
doctrina y la adhesión a una doctrina debe ser racional, entonces tu actitud es dogmática.
Pero tu actitud no es dogmática. En consecuencia, no puedes comenzar prestando fe a una
doctrina
 TABLAS DE VERDAD-LEYES LÓGICAS
Y REGLAS DE INFERENCIA

PROPÓSITO
El Estudiante evalúa y construye tablas de verdad a partir
de los conectores lógicos.
El estudiante utiliza las leyes y equivalencias notables para
simplificar esquemas lógicos
El estudiante interpreta las Reglas de inferencia y a partir
de ellas demuestra la validez de los razonamientos.
 TABLAS DE VERDAD-LEYES LÓGICAS
Y REGLAS DE INFERENCIA

PROPÓSITO
El Estudiante evalúa y construye tablas de verdad a partir de los
conectores lógicos.
El estudiante utiliza las leyes y equivalencias notables para simplificar
esquemas lógicos
El estudiante interpreta las Reglas de inferencia y a partir de ellas
demuestra la validez de los razonamientos.
 LEYES LÓGICAS

Principio de identidad
• El río Mantaro es el río Mantaro.
• p↔p, también: A↔A, Asimismo: p ≡ p, también: A ≡ A
Principio de no contradicción
• No es posible que una montaña no sea una montaña.
• ¬(p ∧ ¬p), también: ¬(A ∧ ¬A)
Principio de tercio excluido
• Esta es la calle Real o no es la calle Real.
• p ∨ ¬p, también: A ∨ ¬A)
 EQUIVALENCIAS NOTABLES
1. Eliminación de la doble negación (EDN):
• No es cierto que nosotros no construiremos un aeropuerto, es
lo mismo que decir: Nosotros construiremos un aeropuerto.
•¬¬A≡A
2. Teorema de De Morgan (DM):
• No es cierto que María es atleta y Nancy es bailarina, equivale
a decir: María no es atleta o Nancy no es bailarina.
• No es cierto que Juan es medico o Pedro es aviador, equivale
a decir: Juan no es médico y Pedro no es aviador.
• ¬(A∧B) ≡ ¬A ∨ ¬B
• ¬(A∨B) ≡ ¬A ∧ ¬B
3. Conmutación:
• Viki estudia Agronegocios y Noelia estudia Psicología, es lo
mismo que: Noelia estudia Psicología y Viki estudia
Agronegocios.
• A∧B ≡ B∧A, también: A∨B ≡ B∨A y A↔B ≡ B↔A
4. Asociación:
• Los gases tóxicos de las fábricas contaminan el ambiente.
Además lo hacen los vehículos y los desechos humanos sin
tratamiento. Esto es lo mismo que: Los gases tóxicos de las
fábricas y los vehículos contaminan el ambiente. Además lo
hacen los desechos humanos sin tratamiento.
• A∧(B∧C) ≡ (A∧B)∧C, también: A∨(B∨C) ≡ (A∨B)∨C
5. Distribución:
• Luis corre. Además, Julio salta o Carlos baila. Es lo mismo que:
Luis corre y Julio salta, o Luis corre y Carlos baila.
• A∧(B∨C) ≡ (A∧B)∨(A∧C), también: A∨(B∧C) ≡ (A∨B)∧(A∨C)
6. Contra recíproco o Transposición:
• Si hay agua, entonces me lavo las manos. Esto es lo mismo
que: Si no me lavo las manos, entonces no hay agua.
• A → B ≡ ¬B → ¬A
7. Definición del Condicional:
• Si llueve entonces el suelo está mojado. Es lo mismo que: No
llueve o el suelo está mojado.
• A → B ≡ ¬A ∨ B
8. Definición del Bicondicional:
• El estudiante tiene beca, si y solo si, estudia
gratuitamente. Esto es lo mismo que: Si el estudiante tiene
beca, entonces estudia gratuitamente. Y si el estudiante
estudia gratuitamente, entonces tiene beca.
• A↔B ≡ (A→B)∧(B→A)
• A↔B ≡ (A∧B)∨(¬A ∧ ¬B)
9. Idempotencia:
• Juan Carlos estudia y Juan Carlos estudia. Es lo mismo
que: Juan Carlos estudia.
• A∧A ≡ A
 TABLA DE VALORES DE
VERDAD
Una tabla de valores de verdad de una proposición, es una
tabla que se arma con los posibles valores de verdad de las
proposiciones simples que la componen, con la finalidad de
obtener el valor de verdad de la proposición dada.-

Cantidad de valores de verdad debe llevar una tabla

O sea que, si el número de proposiciones simples que

componen una proposición es 5, los valores de verdad
serán:
OPERACIONES PROPOSICIONALES

La Negación
La negación de la proposición p es ~p, cuya tabla de
valores de verdad es la siguiente:

p ~p

V F
F V

Como conclusión podemos decir que la negación es

verdadera si la proposición simple es falsa y viceversa.
Tablas de verdad
No,
P ~P No es verdad que,
Es falso que,
V F No ocurre que
F V No es el caso que,….

No es cierto que Rodrigo sea maestro

~ P
 La conjunción o producto lógico
La conjunción de las proposiciones p y q es la proposición
p∧q, donde p y q se llaman conjuntivos, cuya tabla de valores
de verdad es la siguiente:
Pero
p q p∧q
Sin
V V p: estudio
V embargo,
q: veo TV
V F F Además,
F V F No obstante,
p ∧ q: estudio y veo TV
F F F Aunque,
A la vez,
Como conclusión podemos decir que la conjunción es
También,….
verdadera si ambos conjuntivos también lo son.-
 Tablas de verdad CONJUNCIÓN

Juan es futbolista y Ana voleibolista

p ∧ q
p q P q p∧p
2V V V V V
F
V F F
V F V F
2F
F
F F F
 La disyunción o suma lógica
La disyunción de las proposiciones p y q es la proposición
pvq, donde p y q se llaman disyuntivos, cuya tabla de valores
de verdad es la siguiente:

p q p∨q
V V V p: estudio
q: veo TV
V F V
F V V
p v q: estudio o veo TV
F F F

Como conclusión podemos decir que la disyunción es

verdadera si al menos uno de los disyuntivos también lo es.-
 Tablas de verdad DISYUNCIÓN

Juan es delantero o Luis es volante

p ∨ q
p q P q p∨ p
2V V V V V
F
V F V
V F V V
2F
F
F F F
 El condicional o la implicación
El condicional de las proposiciones p y q es la proposición p⇒q,
donde p se llama antecedente y q consecuente, cuya tabla de
valores de verdad es la siguiente:

p q p⇒q
Porque,
V V V p: apruebo Puesto que,
V F F q: te presto el libro
Cuando,
F V V Cada vez que,….
p ⇒ q: apruebo, entonces te
F F V
presto el libro
Como conclusión podemos decir que el condicional es falso si
el antecedente es verdadero y el consecuente es falso (2º
línea de la tabla).-
 Condiciones necesarias y suficientes

p q p⇒q
V V V p condición SUFICIENTE para
q (q si p)
V F F
q condición NECESARIA para
F V V p (p sólo si q)
F F V
 El bicondicional o la doble implicación
El bicondicional de las proposiciones p y q es la proposición
p⇔q, cuya tabla de valores de verdad es la siguiente:

p q p⇔q
Cuando y solamente cuando
V V V
p: apruebo Entonces y solamente entonces…
q: te presto el libro
V F F
F V F p ⇔ q: solamente si
F F
apruebo, te presto el libro
V

Como conclusión podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones
simples que la componen son iguales.-
 La diferencia simétrica o disyunción exclusiva

o…..o….
V V F p: estudio Ejemplo
V F q: veo TV O bien Manuel juega o bien estudia
V
F V V
F F F

Como conclusión podemos decir que la diferencia simétrica es

verdadera si los valores de verdad de las proposiciones
simples que la componen son distintos.-
 RESUMEN
pq p∧q p∨q p⇒q p⇔q
VV V V V V F
VF F V F F V
FV F V V F V
FF F F V V F
TABLAS DE VERDAD

V
2V
4V F
2F V
F
2V V
F
4F V
2F F
 TABLAS DE VERDAD

p q r (~p v q) -> (r ^ p)
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F F F F V F F V
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F
NOTAS:
Cuando los valores del operador principal son
todos verdaderos
• Tautología
Cuando los valores del operador principal son
todos falsos
• Contradicción
Cuando los valores tienen por lo menos una
verdad o una falsedad
• Contingencia
 TABLAS DE VERDAD
Hallar la tabla de verdad del siguiente esquema proposicional
[(p->q) ^ p]->q

p q [(p -> q) ^ P] -> q

V V V V V V V V V
V F V F F F V V F
F V F V V F F V V
F F F V F F F V F

TAUTOLOGÍ
A
 Tautología
Definición
Se dice que una proposición es una tautología, si es verdadera
independientemente de los valores de verdad de las
proposiciones simples que la componen.-

Por ejemplo:
p q (p⇔q) ⇔ [(p⇒q) ∧ (q ⇒p)]
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
 Contradicción
Definición
Una proposición es una contradicción, si es falsa
independientemente de los valores de verdad de las
proposiciones simples que la componen

Por ejemplo:
p q (p⇔ q) ⇔ - [(p⇒ q) ∧ (q ⇒ p)]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
1 4 1 3 2
 Contingencia
Definición
Una proposición es una contingencia si no es ni verdadera ni
falsa independientemente de los valores de verdad de las
proposiciones simples que la componen

Por ejemplo:
p q (p⇔ q) v [(p⇒ q) ∧ (q ⇒ p)]
V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
1 1 3 2
 LEYES LOGICAS

Una ley lógica es una proposición verdadera.-

1º) Involución
La negación de la negación de una proposición, es
equivalente a la misma proposición

p -(-p) ⇔ p

V V F V
F F V V
2 1
2º) Idempotencia de la conjunción

La conjunción de una misma proposición es equivalente a la

misma proposición.-

p (p ∧ p) ⇔ p

V V V
F F V
1
3º) Idempotencia de la disyunción

La disyunción de una misma proposición es equivalente a la

misma proposición.-

p (p ∨ p) ⇔ p

V V V
F F V
1
4º) Conmutatividad de la conjunción

La conjunción es conmutativa

p q (p ∧ q) ⇔ (q ∧ p)
V V V V V
V F F V F
F V F V F
F F F V F
1 1
5º) Conmutatividad de la disyunción

La disyunción es conmutativa

p q (p ∨ q) ⇔ (q ∨ p)
V V V V V
V F V V V
F V V V V
F F F V F
1 1
6º) Asociatividad de la conjunción
La conjunción es asociativa
p q r (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
1 2 2 1
7º) Asociatividad de la disyunción
La disyunción es asociativa
p q r (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
1 2 2 1
8º) Ley de De Morgan (de la conjunción)

La negación de una conjunción es equivalente a la

disyunción de las negaciones.-

p q -(p ∧ q) ⇔ -p ∨ -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
2 1 1 3 2
9º) Ley de De Morgan (de la disyunción)

La negación de una disyunción es equivalente a la

conjunción de las negaciones.-

p q -(p ∨ q) ⇔ -p ∧ -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
2 1 1 3 2
10º) Distributividad de la conjunción con respecto a la disyunción
La conjunción es distributiva con respecto a la disyunción
p q r (p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
1 2 1 3 2
11º) Distributividad de la disyunción con respecto a la conjunción
La disyunción es distributiva con respecto a la conjunción
p q r (p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
1 2 1 3 2
Propiedad
Las implicaciones contrarrecíprocas son equivalentes.

O sea que:

p q p ⇒ q ⇔ -q ⇒ -p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
1 1 3 2
 11º) Negación de una implicación
La siguiente proposición es una tautología, o sea:

p q (p ⇒ q) ⇔ -(p ∧ -q)
V V V VV F F
V F F VF V V
F V V VV F F
F F V VV F V
1 3 2 1
Ahora: -(p⇒q) ⇔ -[-(p ∧ -q)] ⇔ p ∧ -q

Pero: -(p⇒q) ⇔ -[-(p ∧ -q)] ⇔ -(-p ∨ q)

Ahora: (p⇒q) ⇔ -(p ∧ -q) ⇔ -p ∨ q
12º) La doble implicación y la implicación

La doble implicación es equivalente a la conjunción de

la implicación y su recíproca.

p q (p ⇔ q) ⇔ [(p⇒q) ∧ (q⇒p)]
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
 Leyes lógicas resumen
ley
Involución D. Neg. ~(~p) ≡ p
Idempotencia p^p≡p
pvp≡p
Leyes conmutativas p ^ q ≡ q ^p
p ^ q ≡ q ^p
Leyes Asociativas (p^q)^r≡ p^(q ^r)
(pvq)vr≡ pv(q v r)
Leyes distributivas r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
Leyes de Morgan ~( p ^ q ) ≡ ~p v ~q
~( p v q ) ≡ ~p ^ ~q
 ley
Leyes del p →q ≡ ~p v q
condicional ~ (p →q) ≡ p ^ ~q
Leyes del p↔q≡(p→q)^(q→p)
bicondicional p ↔ q ≡ ( p ^ q ) v ( ~p ^ ~q )
Leyes de la p^(pvq)≡p
absorción p ^ ( ~p v q ) ≡ p ^ q
pv(p^q)≡p
pv(~p^q)≡pvq
Leyes de p → q ≡ ~ q → ~p
transposición p ↔ q ≡ ~ q ↔ ~p
Ley de exportación ( p ^ q ) → r ≡ p → ( q → r)
 ley

Normas Normales
Conjunción V^V≡V
V^p≡p
F^p≡F F = Falso

Disyunción FvF ≡F
Fvp≡p
Vvp≡V V= Verdadero

ley
Tercio excluido p v ~p ≡ V
p ^ ~p ≡ F
T = tautología
C = Contradicción
ANÁLISIS DE INFERENCIAS MEDIANTE
EL MÉTODO ANALÓGICO
ANÁLISIS DE INFERENCIAS MEDIANTE
EL MÉTODO ANALÓGICO
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
EJEMPLO 1: Tanto la dinámica como la cinemática estudian el movimiento.
Por tanto, la cinemática estudia el movimiento.

simp
EJEMPLO 2: 3 es menor que 4 si 4 es mayor que 3. Y 3 es diferente de
4 si 3 es menor que 4. Luego, 4 es mayor que 3 si e es diferente de 4.
EJEMPLO 3: Si es selectivo, metódico y explicativo, el conocimiento es
científico. Si es problemático, crítico y trascendente, el conocimiento es
filosófico. Es selectivo, metódico y explicativo o es problemático, crítico y
trascendente. En consecuencia, el conocimiento es científico o es filosófico.
CONTINUACIÓN… Si es selectivo, metódico y explicativo, el conocimiento es
científico. Si es problemático, crítico y trascendente, el conocimiento es filosófico. Es
selectivo, metódico y explicativo o es problemático, crítico y trascendente. En
consecuencia, el conocimiento es científico o es filosófico.

DC
EJEMPLO 4: Una expresión algebraica no es prima a menos que sea
divisible por ella misma y por la unidad. No es prima. En consecuencia, es
falso que sea divisible por ella misma y por la unidad.

Mgº Juan Lira

EJEMPLO 5: Enrique representa a la Nación y no está sujeto a mandato
imperativo porque es congresista. Representa a la Nación y no está sujeto a
mandato imperativo. Luego es congresista.

Mgº Juan Lira