Trabajo Colaborativo 1

Fase 2. Principios de lógica

1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lógicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De éstas expresiones, el equipo debe elegir una de las propuestas por cada participante:

Nombre del estudiante Son proposiciones lógicas: No son proposiciones lógicas

William Fabian Vernaza • Los trabajos colaborativos se deben realizar por todos los estudiantes del grupo

• El curso de lógica es prioridad en las carreras que ofrece la UNAD

• Lógica metamatica es una materia que solo se ve en el area de ingeneria

• El curso de lógica solo es para personas que estudien carreras relacionadas con matemáticas

• Si termino mi carrera entonces seré un profesional

• ¿ como están compañeros?

• Los esferos y los cuadernos

• Vamos a comprar al éxito

• Vamos a entregar el trabajo colaborativo

• Lo importante es presentar algo, y no quedar mal

• Buenas tardes compañeros

2. A continuación se propone identificar los conectivos lógicos y proposiciones simples presentes en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico:

Expresión premisas Lenguaje simbólico

Ejemplo Si hay tolerancia, entonces hay paz p = hay tolerancia

q = hay paz p  q

Aprendemos matemáticas cuando somos ordenados y constantes. P=aprenderemos

Q=somos ordenados R=constantes PQ^R

Dos condiciones son necesarias y suficientes para tener una buena vida humana: Tener cariño sincero y compañía inteligente. p = cariño sincero

q = compañía inteligente

r = buena vida (P ^ Q )→R

Patricia es ordenada. P = Patricia

Q= es ordenada P → Q

La vitamina A proviene de carnes, huevos y lácteos. P = vitamina A proviene de carnes

Q= carne

R= huevos

S= lacteos (Q^ R ^ S) → P

Si consumes carne o lácteos, adquieres proteína y vitamina A P = Vitamina A

Q= Carne

R= proteínas

S= lacteos (Q V S)→ (P ^R )

3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposición compuesta para cada valor posible de las proposiciones simples que la conforman. A continuación, el equipo debe elaborar la tabla de verdad de la siguiente proposición lógica, finalmente, deben clasificar la proposición como tautología, contradicción o contingente de acuerdo al resultado:

[(p → q) V (q →r )]→ ( ⌐p )

P Q R

( ⌐P )

(P → Q) (Q →R ) (P → Q) V (Q →R ) (P → Q) V (Q →R )]→ ( ⌐P

...