PENSAMIENTO LOGICO Y MATEMATICO 200611_841

TABLAS DE VERDAD

DIRECTOR DE CURSO

INGENIERA: CAROLINA CASTAÑO GUTIERREZ

TUTOR

PROFESOR: CIRO EFRAIN MARTINES

ESTUDIANTE

FREDDY ALEXANDER CORTÉS DÍAZ COD. 1122648299

INGIENERÍA INDUSTRIAL.

ECBTI

CEAD JOSÉ ACEVEDO Y GOMEZ

Diciembre de 2017
 INTRODUCCIÓN

Dentro del estudio de la lógica encontramos la lógica proposicional que es como su

nombre lo indica hallar sentido al lenguaje natural por medio de la matemática
ayudándonos con herramientas matemáticas como las operaciones o las tablas de
verdad que categorizan las afirmaciones y permiten su deducción.
 Objetivos

 Desarrollar habilidades con las tablas de ven

 Analizar casos y problemas y representarlos en las tablas de verdad
 Establecer competencias de pensamiento lógico y matemático.
 SITUACIONES PROBLÉMICAS DE LA OPERATIVIDAD
ENTRE CONJUNTOS

En los numerales (1), (2), (3), (4) y (5) aplicar las propiedades y las
operaciones con conjuntos y validar los procesos con el uso de Diagramas
de Venn para la solución de cada problema:

1. Se preguntó a 50 docentes de la ECBTI sobre los deportes que

practicaban, obteniéndose los siguientes resultados: 20
practican solo futbol, 12 practican futbol y natación y 10 no
practican ninguno de estos deportes. Con estos datos averigua
el número de docentes que practican natación, el número de
ellos que solo practican natación y el de los que practican
alguno de dichos deportes.

FUTBOL NATACIÓN

20 12 20
NINGUN
DEPORTE

10

SITUACIONES PROBLÉMICAS DE LA LÓGICA

PROPOSICIONAL

En los numerales (6), (7), (8), (9) y (10) identificar todas las expresiones que
considera son proposiciones lógicas simples y también las expresiones que no
son proposiciones. El siguiente paso es identificar proposiciones compuestas.
Para lograr esta identificación, conviene reescribir el texto resaltando los
conectivos lógicos que no están explícitos en la expresión. Declarar las
proposiciones simples, asignando una de las últimas letras del alfabeto para
identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones
simples, compuestas identificadas; y construir sus tablas de verdad. Determinar
si la tabla de verdad es tautología, contradicción o contingencia. Además
adjuntar pantallazo del uso del simulador de Tablas de Verdad.

2. Un número es divisible por 2 si la última cifra de dicho número es

múltiplo de 2. Un número es divisible por 3 si la suma de las cifras de
dicho número es múltiplo de 3. Pero dicho número no es divisible por
2 o no lo es por 3. Por tanto, la suma de las cifras de un número no
es un múltiplo de 3 si la última cifra de un número es múltiplo de 2.

p Un número es divisible por 2 si la última cifra de dicho número es

múltiplo de 2

q Un número es divisible por 3 si la suma de las cifras de dicho número

es múltiplo de 3.

R la suma de las cifras de un número no es un múltiplo de 3 si la última

cifra de un número es múltiplo de 2.
 SITUACIONES PROBLÉMICAS DE LA VALIDEZ DE
RAZONAMIENTOS LÓGICOS

En los numerales (11), (12), (13), (14) y (15) identificar (del texto dado),
los razonamientos lógicos inductivos y deductivos, y en ellos el tipo de
razonamiento. A partir de los razonamientos propuestos para el texto,
responder la pregunta: ¿Se verifica la conclusión propuesta? Y presentar
argumentos que permitan respaldar veracidad a la respuesta dada. Es
decir, a partir de las tablas de verdad y las leyes de inferencia demostrar
la validez o no del razonamiento. Además adjuntar pantallazo del uso del
simulador de Tablas de Verdad.

3. “Si pago matrícula completa no me quedará dinero. Pero si no

pago matrícula completa no puedo matricularme en todos los
cursos. Por otra parte, no aprenderé Programación de
computadores a menos que me compre un computador, lo cual
podré hacer sólo si me queda dinero. Además, si no me
matriculo en todas las clases no me compraré un computador.
Como es un hecho que pago matrícula completa o no pago
matrícula completa entonces, con seguridad, no aprenderé
Programación de computadores”.