PENSAMIENTO LOGICO MATEMATICO

JHON FREDY GUIO

PROPOCICIONES Y TABLAS DE LA VERDAD

TUTOR

JOSE LEONARDO PEREZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA INDUSTRIAL
GRUPO: 200611__1488
YOPAL – CASANARE
2019
 INTRODUCCION
el fin de Este trabajo es que el estudiante logre interpretar
correctamente las propociciones y tablas de la verdad
mediante la guia la cual esta en la plataforma las tablas de la
verdad son unos de los metodos mas sencillos y conocidos
de la logica formal al mismo tiempo uno de los mas
poderosos, entender bien las tablas de la verdad es en gran
medida entender bien la logica formal.

OBJETIVOS
 identificar las tablas de la verdad e identificarlas desde
su principio
 aplicar los comceptos mediante la solucion de
problemas
 comprender los comceptos fundamentals de la logica
proposicional
Ejercicio 1
 EJERCICIO 2

Juan juega básquet por hobby o practica tenis

de forma profesional. Si practica tenis de forma
profesional entonces juega por más de tres
horas diarias y quema muchas calorías

Definiciones de las proposiciones simples del

argumento
P: juan juega básquet por hobby
q: practica tenis de forma profesional
r: juega por más de tres horas diarias
o: quema muchas calorías
  Definición de la expresión en lenguaje
simbólico:
(p v q): juan juega basquet por hobby o
practica tenis de forma profesional

(q r ∧ O ) : si practica tenis de forma profesional

entonces juega por mas de tres horas diarias y quema
muchas calorías

SIMULADOR LOGICA UNAD

TABLA DE LA VERDAD

q r o q r∧o
V V V V
V V F F
V F V F
V F F F
F V V V
F V F V
F F V V
F F F V

SIMULADOR TABLAS DE LA VERDAD

EL ARGUMENTO ES CONTINGENCIA: ya que es un modo de
ser caracteristico que puede o no ser dependiendo del caso
a diferencia de la taulogia y la contradiccion.

Ejercicio 3
El Lamborghini es el carro mas rapido del mundo
comparados con otros de su mismo tamaño entonces no es
cierto que Lamborghini fabrican autos lentos

D. (𝑝∧𝑞)→(𝑞 ∨¬𝑟)

P: Lamborghini es carro mas rapido del mundo

q: comparados con otros de su mismo tamaño
r: fabrican autos lentos
 TABLA DE LA VERDAD

p q r ¬𝐫 (𝑞 ∨ ¬𝑟) (𝑝 ∧ 𝑞) (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)

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

SIMULADOR TABLAS DE LA VERDAD

El argumento es contingencia ya que es modo de ser caracteristico que puede o no ser
dependiendo del caso a diferencia de la taulogia y la contradiccion

BIBLIOGRAFIA
 https://es.calameo.com/read/005707130a96d4382e1d5
 https://ciencias-basicas.com/cursos-gratuitos-de-matematica/matematica-
superior-1/teoria-de-conjuntos/cuantificadores/
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras
algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos
numéricos, complementos. (pp. 19-28). Madrid, España: Editorial
Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.ac
tion?ppg=20&docID=3226457&tm=1529246259924
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.ac
tion?ppg=12&docID=3199701&tm=1529335849013
 https://es.scribd.com/document/216420187/Introduccion-a-Las-Tablas-de-
Verdad