Вы находитесь на странице: 1из 9

PROPOSICIONES Y TABLAS DE LA VERDAD 1

Leidy Lizeth Oviedo Maje

Código

200611

Curso

Pensamiento lógico matemático

Grupo

200611_358

Tutor

Mireya Gómez

Programa

Tecnología en Radiología e Imágenes Diagnosticas

UNIVERCIDAD NACIONAL ABIERTA Y A DISTANCIA

5 de marzo de 2020
PROPOSICIONES Y TABLAS DE LA VERDAD 2

Introducción:

Mediante las tablas de la verdad se pueden deducir que se busca de mejor manera un

racionamiento lógico, por medio de bases pequeñas y sencillas como son los de estas

proposiciones y tablas de la verdad.

En este caso se encuentra ciertos criterios y algunos ejercicios, también hay una decisión

acerca del cuantificador universal negativo y en qué momento se debe usar, también ha de

explicar cómo se usan y cuál es la metodología de las tablas de la verdad.


PROPOSICIONES Y TABLAS DE LA VERDAD 3

Objetivos:

 Aprender a realizar y saber su significado por medio del lenguaje simbólico, lenguaje

natural y propiedades simples del argumento.

 Ver el significado del cuantificador universal negativo, y saber en qué momento se

puede aplicar.

 Realizar tablas de la verdad, para así mismo desarrollar agilidad de en el pensamiento

lógico, por medio de ellas aprender también de leer el lenguaje simbólico.


PROPOSICIONES Y TABLAS DE LA VERDAD 4

Ejercicio 1, definición y ejemplos de Cuantificador Universal Negativo, link.

https://prezi.com/u6id8ey-esb8/present/?auth_key=ghxjev9&follow=vllrvlabc1uw

Ejercicio 2 proposiciones y tabla de la verdad:

b. Gabriel García Márquez escribió cien años de soledad o la Iliada. Si y solo si es un escritor

brillante e ingenioso.

 Propiedades simples del argumento:

p= Gabriel García Márquez escribió cien años de soledad

q= La Iliada

r= Es un escritor brillante e ingenioso

 Lenguaje simbólico:

(p v q) r

 Tabla de la verdad manual del lenguaje simbólico:

p q r pvq (p v q) r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

El resultado de esta tabla de la verdad es una contingencia


PROPOSICIONES Y TABLAS DE LA VERDAD 5

 Tabla de la verdad con el simulador de lógica UNAD

http://logicaunad.com/jtruth/resolver.php
PROPOSICIONES Y TABLAS DE LA VERDAD 6

Ejercicio 3:

B. [(p˄q) ↔(῀r˄s)]

 Proposición simple:

p: Vanesa estudia medicina

q: Emily estudia biología marina

r: Vanesa estudia medicina nuclear

s: Emily estudia su doctorado

 Lenguaje natural:

Si Vanesa estudia medicina y Emily estudia biología mariana si solo si Vanesa estudia

medicina nucleas y Emily estudia en la universidad.

 Tabla manual de la verdad:

p q r s (p˄q) ῀r ( ῀r˄s) [(p˄q) ↔(῀r˄s)]


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

El resultado de la tabla de la verdad es una contingencia


PROPOSICIONES Y TABLAS DE LA VERDAD 7

Tabla de la verdad con el simulador lógico de la UNAD:

http://logicaunad.com/jtruth/resolver.php
PROPOSICIONES Y TABLAS DE LA VERDAD 8

Conclusiones:

 Por medio de estos ejercicios de las tablas de la verdad muestra que cada una

de ellas dieron como resultado que son contingencia, por lo cual lleva una

combinación de verdadero y falso en cada una de ellas.

 Gracias al tema definido de cuantificador universal negativo, puede deducirse

en que al identificar y comprender dichos elementos se sabrá en qué momento

se podrá aplicar.

 Con estos talleres planteados se da a familiarizar con los tipos de lenguaje, ya

sea simbólico, natural y en proposiciones simples.


PROPOSICIONES Y TABLAS DE LA VERDAD 9

Bibliografía

 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

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28).

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid.

Вам также может понравиться