Tarea 1

TAREA 1 PROPORCIONES Y TABLA DE VERDAD
María camila correa lozano

Código: 1193549384
Tutor: Carlos augusto Gonzales quesada

Numero de grupo: 200611_1919
Universidad nacional abierta y a distancia-unad

Neiva-huila
Septiembre/2022
INTRODUCCIÓN
En el presente trabajo vamos a abordar de proposiciones y tablas de verdad.

Las proposiciones son enunciados que constituyen una oración que tiene un
valor de verdad o falsedad, la tabla de verdad es un esquema que sirve para
determinar los valores de verdad de las proposiciones compuestas.
OBJETIVOS
Este trabajo busca que se conozcan y apliquen los conceptos de lógica

proporcional. Conocer los diferentes tipos de conectivos lógicos. Trabajar con
los diferentes tipos de proposiciones a través de tabla de verdad.
Ejercicio 1: conceptualización de cuantificadores
CUANTIFICADOR UNIVERSAL AFIRMATIVO

Se utiliza para afirmar que todos lo elementos de un conjunto cumplen con
una determina propiedad.
 Las frases que común mente se usa para denotar el cuantificador
universal afirmativos son:
 Todos x – todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x
EJEMPLO DE CUANTIFICADOR UNIVERAL AFIRMATIVO
 Todos los chilenos comen salmón y juegan futbol
 Ax (chileno(x) colombiano(x))
 Todos los bogotanos son colombianos

 Ax (bogotano(x) colombiano(x))
 Siempre que el equipo gana o empata, todos quedan felices.
 Ax (feliz(x) equipo gana(x) v equipo empata(x) )
LINK:https://prezi.com/p/f_ti2kei_btp/
ejercicio 2: proposiciones y tablas de verdad
A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo

lleva al concesionario o si ella no lo lleva al concesionario entonces,
lo lleva al taller de Fernando.
 Definir las proporciones simples del argumento

P: si el vehículo de Gabriela necesita mantenimiento.
Q: ella lo lleva al concesionario o si ella no lo lleva al
concesionario.
R: lo lleva al taller de Fernando.
 Definir la expresión simbólica o formal

 [ (p q) v (¬q r)]
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.
 [ (p q) v (¬q r)]
P q r [ (p q) v (¬q r)]
V V V V
V V F V
V F V V
V F F F
F V V V
F V F V
F F V V
F F F V
 Genera una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología, contingencia o
contradicción.
Tabla de verdad
P Q R ¬q (p → q) (¬q → r) [(p →q) ᴠ (¬q →r)]
V V V F V V V
V V F F V V V
V F V V F V V
V F F V F F F
F V V F V V V
F V F F V V V
F F V V V V V
F F F V V F F
 Resultado de la tabla de verdad: CONTIGENCIA
Ejercicio 3: Problemas de aplicación
 Proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio.
A. (p ^ q) → (r ^ s)
 Definición de las proposiciones simples:
p: juan estudia
q: realiza las tareas
r: obtiene buenas notas
s: gana el año
 Juan estudia y realiza las tareas entonces obtiene buenas notas y gana
el año.
 Tabla de verdad simulador-lógica UNAD
TABLA DE VERDAD SIMULADOR LOGICA UNAD

P Q R S (p ^ q) (r ^ s)
V V V V V
V V V F F
V V F V F
V V F F F
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico.
Tabla de verdad ejercicio # 3
P Q R S (p ^ q) (r ^ s) (p ^ q) (r ^ s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
CONCLUSIÓN
Con este trabajo se logra comprender el uso de las tablas de

verdad gracias a las actividades propuestas se logra identificar y
comprenderlas distintas proposiciones e implementar su uso,
aplicando los simuladores y tabla de verdad.
REFERENCIAS BIBLIOGRAFICAS
Curo, A. (2015). Matemática básica para administradores. (pp.

13-27). Universidad Peruana de Ciencias Aplicadas
(UPC) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereade
r/unad/41333?page=10
Pérez, A. R. (2013). Una introducción a las matemáticas discretas
y teoría de grafos. (pp. 40-49). El Cid Editor https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras
algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 19-28). Editorial
Tébar
Flores https://elibro-net.bibliotecavirtual.unad.edu.co/es/eread
er/unad/51977?page=20
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y

ejercicios. (pp. 19-39). Larousse - Grupo Editorial
Patria https://elibro-net.bibliotecavirtual.unad.edu.co/es/eread
er/unad/39454?page=30
Castaño, C. (2017). OVI. Proposiciones y tablas de
verdad. Repositorio Institucional
UNAD. http://hdl.handle.net/10596/13871
Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio
Institucional UNAD. http://hdl.handle.net/10596/13869
OVA – Unidad 1
Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio
Institucional
UNAD. https://repository.unad.edu.co/handle/10596/31590

Tarea 1

Cargado por

Copyright:

Formatos disponibles

Tarea 1

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

Tarea 1

Cargado por

Copyright:

Formatos disponibles

TAREA 1 PROPORCIONES Y TABLA DE VERDAD

María camila correa lozano

Tutor: Carlos augusto Gonzales quesada

Universidad nacional abierta y a distancia-unad

En el presente trabajo vamos a abordar de proposiciones y tablas de verdad.

Este trabajo busca que se conozcan y apliquen los conceptos de lógica

CUANTIFICADOR UNIVERSAL AFIRMATIVO

 Todos los bogotanos son colombianos

ejercicio 2: proposiciones y tablas de verdad

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo

 Definir las proporciones simples del argumento

 Definir la expresión simbólica o formal

 Resultado de la tabla de verdad: CONTIGENCIA

Ejercicio 3: Problemas de aplicación

 Proposiciones compuestas en lenguaje simbólico (argumento) para el

TABLA DE VERDAD SIMULADOR LOGICA UNAD

 Generar una tabla de verdad manualmente a partir del lenguaje

Con este trabajo se logra comprender el uso de las tablas de

Curo, A. (2015). Matemática básica para administradores. (pp.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.