Explicación Proposiciones

ECBTI/Curso Pensamiento Lógico y
Matemático
UNIDAD 1:
Lógica Proposicional, Operadores Lógicos y
Tablas de Verdad
ECBTI
Junio 2020
Matemático
LOGICA = RAZON
Estudia los principios de

demostración, para comprobar las
afirmaciones sobre su valor de
validez o falsedad.
Matemático
Si es posible evaluar si es falso o verdadero, es una

proposición.
Ø ¿ Vas a playa en vacaciones? Es una pregunta, no una proposición

Puede ser verdadero o falso, por tanto es una
Ø Carlos Vives es Colombiano
proposición
Puede ser verdadero o falso, por tanto es una
Ø James Rodríguez juega Béisbol proposición
Ø B=3X+5 Puede llegar a ser una proposición, si se conocen las variables
Matemático
En lógica, las proposiciones se representan por letras

minúsculas, ejemplo: p, q, r, s…
En la operatividad de la lógica proposicional, las

proposiciones se representan y se trabajan con las letras
representadas. Ejemplo:
p: Hoy es miércoles.
n: Las aves comen carne.
q: los médicos salvan vidas.
Matemático
Están estructuradas por una única Están estructuradas por dos o

oración, se representan por una más proposiciones simples,
variable proposicional. Ejemplo: unidas por un operador lógico. A
cada proposición se le asigna una
p: La luna sale por la noche variable proposicional. Ejemplo:
El sol sale en el día y la luna sale
en la noche.
p: El sol sale en el día.

y: “^” El operador lógico.
s: La luna sale en la noche.
Matemático
Una de las aplicaciones de la Lógica es el uso como herramienta para determinar

la verdad o falsedad de argumentos, de forma que la operatividad de con las
proposiciones se inician con las identificaciones de proposiciones simples de las
proposiciones compuestas que hacen parte de un argumento.
Como lo hacemos? Veamos un ejemplo.
Argumento:
Si como carbohidratos, generaré grasas corporales y si genero grasas corporales y

no hago ejercicios, subiré de peso.
Matemático
Argumento:
Si como carbohidratos, generaré grasas corporales y si genero grasas corporales y

no hago ejercicios, subiré de peso.
Proposiciones:
Los operadores lógicos
p: Como carbohidratos.
q: Generaré grasas corporales.
están demarcados en rojo.
s: Hago ejercicios.
t: Subiré de peso.
Matemático
Son símbolos que nos permiten relacionar proposiciones simples para construir
proposiciones compuestas, determinando así un el valor de verdad para la
proposición resultante.
Los operadores lógicos son los siguientes:
q Negación: ~ Lenguaje simbólico, es la

q Doble negación: ~(~p) representación de un enunciado a
q Conjunción: ^ través de variables y operadores
q Disyunción: ˅ lógicos, que describen las
proposiciones compuesta o
q Condicional o implicación: =>
simples que se identifican en el
q Bicondicional o equivalencia: <=> lenguaje natural
Ejemplo: ~(p=>q)
Matemático
La negación de cualquier proposición p es falsa cuando se niegue (No) una proposición

verdadera y será verdadera cuando se niegue una proposición falsa. Símbolo: ~, ¬
Algunas formas de negación: No, Nunca, ni, jamás, es falso, no es cierto, no ocurre, de
ninguna forma, por nada de, en lo absoluto, entre otras.
Imagen. Fundamentos de la Lógica Matemática y Calculo Proposicional. Pag. 24

Matemático
Negación de proposiciones simples.
Proposiciones simples.
Ejemplos:
p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

Matemático
Ejemplos:
Negación
La negación es un conector lógico que cambia el valor de verdad de proposiciones

simples o compuestas y se representa por el símbolo lógico ¬.
Matemático
Ejemplos:
Negación

Lenguaje natural: Soy un estudiante de la UNAD

Matemático
Ejemplos:
Negación

Lenguaje natural: Soy un estudiante de la UNAD Lenguaje simbólico: p

Matemático
Ejemplos:
Negación


-------------------------------------------------------------------------------------------------------------
Matemático
Ejemplos:
Negación


-------------------------------------------------------------------------------------------------------------
Negación en el lenguaje
natural: No soy un estudiante de la UNAD
Matemático
Ejemplos:
Negación


-------------------------------------------------------------------------------------------------------------
Negación en el lenguaje Negación en lenguaje
natural: No soy un estudiante de la UNAD Simbólico: ¬p
Matemático
Cuando se niega una proposición p verdadera pasa a falsa, si se niega nuevamente

cambiara a verdadera, al igual que en el caso contrario de que la proposición inicial sea
falsa.
Alguna de las formas de la doble negación: No es cierto que no, no ocurre que no, no
es falso que, entre otras.
Imagen Corregida. Fundamentos de la Lógica Matemática y Calculo Proposicional. Pag. 24

Matemático
Si p y q representan dos proposiciones simples entonces la proposición compuesta

p˅q, solo será falsa cuando las dos proposiciones lo sean.
Alguna de las formas de disyunción son: o, o bien, u, entre otras.

Matemático
Proposiciones compuestas usando dos proposiciones simples.
Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

posposiciones simples:
p: Hoy es sábado. q: Mañana es domingo.

Matemático
Proposiciones compuestas usando dos prospecciones simples.


Disyunción
La disyunción es un conector lógico que en lenguaje Natural se expresa con la letra ‘o’
y en lenguaje simbólico de la teoría de conjuntos se representa por: ˅
Matemático


Disyunción
Proposición compuesta entre la proposición p y la proposición q con la disyunción.
Lenguaje Natural:
Matemático


Disyunción
Lenguaje Natural: Hoy es sábado

Matemático


Disyunción
Lenguaje Natural: Hoy es sábado o

Matemático


Disyunción
Lenguaje Natural: Hoy es sábado o mañana es domingo.

Matemático


Disyunción
Lenguaje simbólico: p˅q

Matemático


Disyunción
Lenguaje simbólico: p˅q

Matemático
Si p y q representan dos proposiciones simples entonces la proposición compuesta

p^q, solo será verdadera cuando las dos proposiciones lo sean.
Alguna de las formas de conjunción son: y, además de, también, así como, pero, e,
entre muchas otras.

Matemático


Conjunción.
La conjunción es un conector lógico que en lenguaje Natural se expresa con la letra

‘y’ y en lenguaje simbólico de la teoría de conjuntos se representa por: ˄
Matemático


Conjunción.

Proposición compuesta entre la proposición p y la proposición q con la Conjunción.
Lenguaje Natural:
Matemático


Conjunción.


Matemático


Conjunción.

Lenguaje Natural: Hoy es sábado y

Matemático


Conjunción.

Lenguaje Natural: Hoy es sábado y mañana es domingo

Matemático


Conjunción.

Lenguaje simbólico: p˄q

Matemático


Conjunción.

Lenguaje simbólico: p˄q

Matemático
Si p y q representan dos proposiciones simples, entonces la proposición compuesta

p=>q, solo será falsa cuando p, llamado antecedente o hipótesis sea verdadero, y q
llamado consecuente o conclusión sea falso.
Alguna de las formas de condicional son: si… entonces, se sigue, por tanto, se infiere,
de ahí que, se deduce, implica, entre otras.

Matemático


Implicación.
La implicación es un conector lógico que en lenguaje Natural se expresa de la

siguiente forma Si ________, entonces __________ y en lenguaje simbólico de la
teoría de conjuntos se representa por: ⇒
Matemático
Proposiciones compuestas usando dos prosposiciones simples.


Implicación.

Proposición compuesta entre la proposición p y la proposición q con la implicación.
Lenguaje simbólico: p⇒q

Matemático


Implicación.


Matemático


Implicación.

Lenguaje Natural: Si hoy es sábado

Matemático


Implicación.

Lenguaje Natural: Si hoy es sábado, entonces

Matemático


Implicación.

Lenguaje Natural: Si hoy es sábado, entonces mañana es domingo

Matemático


Implicación.

Lenguaje Natural: Si hoy es sábado, entonces mañana es domingo

Matemático
Si p y q representan dos proposiciones simples, entonces la proposición compuesta

p<=>q, solo será verdadera cuando ambas proposiciones tienen el mismo valor de
verdad.
Alguna de las formas de bicondicional son: si y solo si, entonces y solo entonces, es
idéntico, equivale a, es equivalente a, entre otras.

Matemático


Equivalencia o doble implicación.
La Equivalencia es un conector lógico que en lenguaje Natural se expresa de la

siguiente forma ________, si y solo si, _________ y en lenguaje simbólico de la teoría
de conjuntos se representa por: ⇔
Matemático



Proposición compuesta entre la proposición p y la proposición q con la Equivalencia
Lenguaje simbólico: p⇔q

Matemático



Lenguaje Natural:
Matemático




Matemático



Lenguaje Natural: Hoy es sábado, si y solo si,

Matemático



Lenguaje Natural: Hoy es sábado, si y solo si, mañana es domingo

Matemático



Lenguaje Natural: Hoy es sábado, si y solo si, mañana es domingo

Ejemplos de proposiciones compuestas en lenguaje natural y lenguaje
formal:
Si me alimento sanamente y hago ejercicio, entonces tendré una buena salud.
p: Me alimento sanamente.
q: Hago ejercicio.
r: Tendré una buena salud.
Camino al colegio y llego tarde o tomo un autobús y llego temprano.
p: Camino al colegio.
q: Llego tarde.
r: Tomo un autobús.
S: Llego temprano.
Matemático
Una tabla de verdad es una tabla que determina el valor de verdad de un argumento
lógico o de un conjunto de proposiciones compuestas que conforman un argumento,
dependiendo de los operadores lógicos contenidos y los valores de verdad de las
proposiciones simples. Resumen de tabla de verdad según operadores lógicos.

Matemático
Pasos:
1. Identificar las proposiciones simples del argumento.
2. Asignar variables a las proposiciones simples.
3. Obtener la traducción simbólica del argumento.
4. Obtener la combinación de todos los valores de verdad posible de las
proposiciones involucradas. Lo cual esta dado por 2! donde n es la cantidad de
proposiciones simples y visualizar las mitades de cada columna de la proposición
simple inicial y dar como valor verdadero la mitad y la siguiente mitad falso y
continuar con la mitad de la mitad anterior, con verdadero y la otra mitad falso y
sucesivamente hasta terminar las proposiciones simples
p q r
Ejemplo; Sean la proposiciones, v v v
p, q y r, hallar la tabla de las v v f
posibles combinaciones: v f v
v f f
8
2" = 𝟖 f v v
f v f
f f v
f f f
Matemático
Pasos:
5. Resolver las operaciones lógicas.
ÁLGEBRA PROPOSICIONAL
Tablas de verdad
Las tablas de verdad se utilizan para mostrar los posibles valores de verdad
con los que cuentan las proposiciones simples o compuestas.
Tablas de verdad
Ejemplo de una tabla de verdad de una proposición simple:

Tablas de verdad
p: Soy un estudiante.
Tablas de verdad
p: Soy un estudiante.
p
Tablas de verdad
p: Soy un estudiante
p
V
Tablas de verdad
p: Soy un estudiante
p
V
F
Tablas de verdad
p: Soy un estudiante ¬p:
p ¬p
V
F
Tablas de verdad
p: Soy un estudiante ¬p: NO
p ¬p
V
F
Tablas de verdad
p: Soy un estudiante ¬p: NO Soy un estudiante.
p ¬p
V
F
Tablas de verdad
p ¬p
V F
F
Tablas de verdad
p ¬p
V F
F V
Tablas de verdad
Tabla de verdad de la Conjunción

Tablas de verdad
p
Tablas de verdad
pꓥ
Tablas de verdad
p ꓥ q:
Tablas de verdad
p ꓥ q: Soy un estudiante
Tablas de verdad
p ꓥ q: Soy un estudiante Y
Tablas de verdad
p ꓥ q: Soy un estudiante Y Estudio en la UNAD

Tablas de verdad
p
Tablas de verdad
p
V
V
Tablas de verdad
p
V
V
F
F
Tablas de verdad
p q
V
V
F
F
Tablas de verdad
p q
V V
V
F
F
Tablas de verdad
p q
V V
V F
F
F
Tablas de verdad
p q
V V
V F
F V
F
Tablas de verdad
p q
V V
V F
F V
F F
Tablas de verdad
p q pꓥq
V V
V F
F V
F F
Tablas de verdad
p q pꓥq
V V V
V F
F V
F F
Tablas de verdad
p q pꓥq
V V V
V F F
F V F
F F F
Tablas de verdad
Tabla de verdad de la Disyunción

Tablas de verdad

Tablas de verdad
p ꓦ q:
Tablas de verdad
p ꓦ q: hoy es sábado
Tablas de verdad
p ꓦ q: hoy es sábado O
Tablas de verdad
p ꓦ q: hoy es sábado O hoy es domingo

Tablas de verdad
p
Tablas de verdad
p
V
V
Tablas de verdad
p
V
V
F
F
Tablas de verdad
p q
V
V
F
F
Tablas de verdad
p q
V V
V F
F
F
Tablas de verdad
p q
V V
V F
F V
F F
Tablas de verdad
p q pꓦq
V V
V F
F V
F F
Tablas de verdad
p q pꓦq
V V V
V F V
F V V
F F
Tablas de verdad
p q pꓦq
V V V
V F V
F V V
F F F
Tablas de verdad
Tabla de verdad de la Implicación

Tablas de verdad
p ⇒ q:
Tablas de verdad
p ⇒ q: Si
Tablas de verdad
p ⇒ q: Si hoy es sábado
Tablas de verdad
p ⇒ q: Si hoy es sábado, entonces

Tablas de verdad
p ⇒ q: Si hoy es sábado, entonces mañana es domingo

Tablas de verdad

Tablas de verdad
p
V
V
F
F
Tablas de verdad
p q
V V
V F
F V
F F
Tablas de verdad
p q p ⇒q
V V
V F
F V
F F
Tablas de verdad
p q p ⇒q
V V
V F F
F V
F F
Tablas de verdad
p q p ⇒q
V V V
V F F
F V V
F F V
Tablas de verdad
Tabla de verdad de la Equivalencia

Tablas de verdad
p⇔q
Tablas de verdad
p ⇔ q: hoy es sábado
Tablas de verdad
p ⇔ q: hoy es sábado, si y solo si,

Tablas de verdad
p ⇔ q: hoy es sábado, si y solo si, mañana es domingo

Tablas de verdad

Tablas de verdad
p q
V V
V F
F V
F F
Tablas de verdad
p q p ⇔q
V V
V F
F V
F F
Tablas de verdad
p q p ⇔q
V V V
V F
F V
F F V
Tablas de verdad
p q p ⇔q
V V V
V F F
F V F
F F V
Tablas de verdad
Ejemplo de tabla de verdad.
[(p⇒q) ⋀¬q] ⇒¬p
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q
V V
V F
F V
F F
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p
V V F
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q
V V F F
V F F V
F V V F
F F V V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q
V V F F
V F F V
F V V F
F F V V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q
V V F F
V F F V
F V V F
F F V V
1 2 1⇒2
Tabla base: V V Implicación
V F
F V
F F
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q
V V F F
V F F V
F V V F
F F V V
1 2 1⇒ 2
Tabla base: V V V Implicación
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q
V V F F V
V F F V F
F V V F V
F F V V V
1 2 1⇒ 2
Tabla base: V V V Implicación
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q
V V F F V
V F F V F
F V V F V
F F V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q
V V F F V
V F F V F
F V V F V
F F V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q
V V F F V
V F F V F
F V V F V
F F V V V
Tabla base: 1 2 1 ⋀2
V V
V F
F V
F F
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q
V V F F V
V F F V F
F V V F V
F F V V V
Conjunción
V V V
V F F
F V F
F F F
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Conjunción
V V V
V F F
F V F
F F F
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Tabla base:
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Tabla base: 1 2 1⇒ 2
Implicación
V V V
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F
V F F V F F
F V V F V F
F F V V V V
Implicación
V V V
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
Implicación
V V V
V F F
F V V
F F V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
Tablas de verdad
[(p⇒q) ⋀¬q] ⇒¬p
p q ¬p ¬q p⇒ q (p⇒q) ⋀ ¬q [(p⇒q) ⋀ ¬q ] ⇒ ¬ p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
TAUTOLOGÍA.
Proposiciones y tablas de
verdad.
Proposiciones y tablas de verdad
Ø Definir las proposiciones simples del argumento.
Ø Definir la expresión del argumento en lenguaje simbólico o formal.
Ø Generar una tabla de verdad con el simulador Truth Table
Ø Generar una tabla de verdad manualmente
Ejemplo:
Si el reloj está adelantado, entonces Sara terminó el examen nacional

antes de las seis y vio salir del salón a Mónica. Si Mónica dice la
verdad, entonces Sara no vio salir del salón a Mónica. Mónica dice la
verdad o estaba en la Universidad en el momento del plagio de las
respuestas. El reloj está adelantado. Por lo tanto, Mónica estaba en la
Universidad en el momento del plagio.
Tarea 2: Proposiciones y tablas de verdad
ØDefinir las proposiciones simples del argumento.
ØDefinir la expresión del argumento en lenguaje simbólico o formal.
ØGenerar una tabla de verdad con el simulador Truth Table
ØGenerar una tabla de verdad manualmente
Ejemplo:
Si el reloj está adelantado, entonces Sara terminó el examen nacional antes de

las seis y vio salir del salón a Mónica. Si Mónica dice la verdad, entonces Sara
no vio salir del salón a Mónica. Mónica dice la verdad o estaba en la
Universidad en el momento del plagio de las respuestas. El reloj está
adelantado. Por lo tanto, Mónica estaba en la Universidad en el momento del
plagio.
Ejemplo:
Si el reloj está adelantado, entonces Sara terminó el examen nacional antes de

las seis y vio salir del salón a Mónica. Si Mónica dice la verdad, entonces Sara
no vio salir del salón a Mónica. Mónica dice la verdad o estaba en la
Universidad en el momento del plagio de las respuestas. El reloj está
adelantado. Por lo tanto, Mónica estaba en la Universidad en el momento del
plagio.
Paso 1: Definir las proposiciones simples
p: El reloj está adelantado

q: Sara terminó el examen nacional antes de las seis
r: Sara vio salir del salón a Mónica
s: Mónica dice la verdad
t: Mónica estaba en la Universidad en el momento del plagio de las respuestas
Ejemplo:
Si el reloj está adelantado, entonces Sara terminó el examen nacional antes de las seis y
vio salir del salón a Mónica. Si Mónica dice la verdad, entonces Sara no vio salir del
salón a Mónica. Mónica dice la verdad o estaba en la Universidad en el momento del
plagio de las respuestas. El reloj está adelantado. Por lo tanto, Mónica estaba en la
Universidad en el momento del plagio.
Paso 1: Definir las proposiciones simples.

p: El reloj está adelantado
q: Sara terminó el examen nacional antes de las seis
r: Sara vio salir del salón a Mónica
s: Mónica dice la verdad
t: Mónica estaba en la Universidad en el momento del plagio de las respuestas
Paso 2: Definir la expresión del argumento en lenguaje simbólico o formal.

Paso 3: Generar una tabla de verdad con el simulador Truth Table
Paso 4: Generar una tabla de verdad manualmente
Matemático
TAUTOLOGIA
Todo el resultado lógico de la evaluación es verdadero.
Ejemplo:
Matemático
CONTRADICCION
Todo el resultado lógico de la evaluación es falso.
Ejemplo:
Matemático
CONTINGENCIA
Al menos un resultado lógico de la evaluación es falso y
todos los demás verdaderas o verdadera y todos los
demás falsos o una combinación entre verdaderos y falsos.
Ejemplo:
Problemas de aplicación
Tarea 3: Problemas de aplicación
Ø Definir las proposiciones simples.
Ø Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Ø Definir si el argumento seleccionado inicialmente es una tautología, contradicción
o contingencia
o contingencia
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)
o contingencia
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)

p: Se programan las olimpiadas deportivas
q: Los estudiantes estarán activos
r: Se programan actividades académicas
s: Los estudiantes bajaran su rendimiento académico
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)
p: Se programan las olimpiadas deportivas
q: Los estudiantes estarán activos
r: Se programan actividades académicas
s: Los estudiantes bajaran su rendimiento académico
Paso 2: Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
Si Se programan las olimpiadas deportivas entonces los estudiantes no estarán activos.

si no se programan actividades académicas entonces Los estudiantes bajaran su
rendimiento académico. Si Se programan actividades académicas entonces se
programan las olimpiadas deportivas por lo tanto Los estudiantes no estarán
activos o los estudiantes bajaran su rendimiento académico
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)
Paso 3 : Generar una tabla de verdad con el simulador Truth Table
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)
Paso 4: Generar
∼ ∼ una
∼ tabla
∼ ∼ de verdad ∼
manualmente
∨ ∼ ∧∼ ∼ ∧∼ ∧ ∼ ∧∼ ∧ ∼ ∨
p q r s q r s p→ q r→s r→p q s (p→ q) ( r→s) [(p→ q) ( r→s)] (r→p) {(p→ q) ( r→s) (r→p)}→( q s)
v v v v f f f f v v v f f v
v v v f f f v f v v f f f v
v v f v f v f f v v v f f v
v v f f f v v f f v f f f v
v f v v v f f v v v v v v v
v f v f v f v v v v v v v v
v f f v v v f v v v v v v v
v f f f v v v v f v v f f v
f v v v f f f v v f v v f v
f v v f f f v v v f f v f v
f v f v f v f v v v v v v v
f v f f f v v v f v f f f v
f f v v v f f v v f v v f v
f f v f v f v v v f v v f v
f f f v v v f v v v v v v v
f f f f v v v v f v v f f v
Ejemplo:
𝑝 →∼ 𝑞 ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝) → (∼ 𝑞 ∨ 𝑠)
Paso 4: Generar una tabla de verdad manualmente
∼ ∼ ∼ ∼ ∼ ∼ ∨ ∼ ∧ ∼ ∼ ∧ ∼ ∧ ∼ ∧ ∼ ∧ ∼ ∨
p q r s q r s p→ q r→s r→p q s (p→ q) ( r→s) [(p→ q) ( r→s)] (r→p) {(p→ q) ( r→s) (r→p)}→( q s)
v v v v f f f f v v v f f v
v v v f f f v f v v f f f v
v v f v f v f f v v v f f v
v v f f f v v f f v f f f v
v f v v v f f v v v v v v v
v f v f v f v v v v v v v v
v f f v v v f v v v v v v v
v f f f v v v v f v v f f v
f v v v f f f v v f v v f v
f v v f f f v v v f f v f v
f v f v f v f v v v v v v v
f v f f f v v v f v f f f v
f f v v v f f v v f v v f v
f f v f v f v v v f v v f v
f f f v v v f v v v v v v v
f f f f v v v v f v v f f v
Paso 5: Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia
Ø Todo el resultado lógico de la evaluación es verdadero. Por lo tanto es una Tautología

Matemático
GRACIAS POR SU
ATENCIÓN

Explicación Proposiciones

Cargado por

Información del documento

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

Explicación Proposiciones

Cargado por

Copyright:

Formatos disponibles

ECBTI/Curso Pensamiento Lógico y

Estudia los principios de

Si es posible evaluar si es falso o verdadero, es una

Ø ¿ Vas a playa en vacaciones? Es una pregunta, no una proposición

En lógica, las proposiciones se representan por letras

En la operatividad de la lógica proposicional, las

Están estructuradas por una única Están estructuradas por dos o

p: El sol sale en el día.

Una de las aplicaciones de la Lógica es el uso como herramienta para determinar

Como lo hacemos? Veamos un ejemplo.

Si como carbohidratos, generaré grasas corporales y si genero grasas corporales y

Si como carbohidratos, generaré grasas corporales y si genero grasas corporales y

Los operadores lógicos son los siguientes:

q Negación: ~ Lenguaje simbólico, es la

La negación de cualquier proposición p es falsa cuando se niegue (No) una proposición

Imagen. Fundamentos de la Lógica Matemática y Calculo Proposicional. Pag. 24

Negación de proposiciones simples.

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

Lenguaje natural: Soy un estudiante de la UNAD

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

Lenguaje natural: Soy un estudiante de la UNAD Lenguaje simbólico: p

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

Lenguaje natural: Soy un estudiante de la UNAD Lenguaje simbólico: p

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

Lenguaje natural: Soy un estudiante de la UNAD Lenguaje simbólico: p

p: Soy un estudiante de la UNAD q: Estoy viendo un video tutorial.

La negación es un conector lógico que cambia el valor de verdad de proposiciones

Lenguaje natural: Soy un estudiante de la UNAD Lenguaje simbólico: p

Cuando se niega una proposición p verdadera pasa a falsa, si se niega nuevamente

Imagen Corregida. Fundamentos de la Lógica Matemática y Calculo Proposicional. Pag. 24

Si p y q representan dos proposiciones simples entonces la proposición compuesta

Alguna de las formas de disyunción son: o, o bien, u, entre otras.

Imagen. Fundamentos de la Lógica Matemática y Calculo Proposicional. Pag. 25

Proposiciones compuestas usando dos proposiciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.

Proposiciones compuestas usando dos prospecciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.

Proposiciones compuestas usando dos prospecciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.

Proposición compuesta entre la proposición p y la proposición q con la disyunción.

Proposiciones compuestas usando dos prospecciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.

Proposición compuesta entre la proposición p y la proposición q con la disyunción.

Lenguaje Natural: Hoy es sábado

Proposiciones compuestas usando dos prospecciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.

Proposición compuesta entre la proposición p y la proposición q con la disyunción.

Lenguaje Natural: Hoy es sábado o

Proposiciones compuestas usando dos prospecciones simples.

Se pueden crear proposiciones compuestas uniendo con conectores lógicos dos

p: Hoy es sábado. q: Mañana es domingo.