Tarea 3. Proposiciones y tablas de verdad

Tarea 3. Proposiciones y tablas de verdad.

Construir un trabajo grupal sobre proposiciones y conectivos lógicos. Cada estudiante revisará individualmente los temas de proposiciones y conectivos lógicos para dar solución a los ejercicios propuestos, y posteriormente, en conjunto con su equipo construirá un trabajo sobre la solución propuesta producto de los aportes sustentados y mejorados con las contrapropuestas que se den en el foro.

Los comentarios deben llevar una argumentación válida y de ser necesario estar enmarcados en otros documentos debidamente referenciados

El problema a desarrollar en la tarea 3 es el siguiente:

Ejercicios a resolver:

a) Bien pensado, no hay por qué ser bien pensante.

p. Bien pensado

q. Bien pensante

→ p q

[(p v q) ˄ ̴ p ] → q o [ (p v q) ˄ ̴ q ] → p ↔

P Q ˄ ̴ q P → ̴ q

V V f f

V F v V

F V f V

F F v V

b) En caso de que sople el viento, podremos navegar a vela.

P. Sople el viento

Q. Navegador a vela P ↔ Q

p Q P ↔ Q

v V v

v F f

f V f

z F V

c) Si alguien escribe como Borges, entonces puede disculpársele todo.

P. Se escribe como Borges

Q. Puede disculpársele de todo P → Q

P Q P Q

V v v

V f f

F v v

F f v

d) “La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la posesión de su bien propio y ha transferido a sí el dominio de sí misma” (Séneca).

P. La vida es larga

Q. La vida es plena

R. Cuando el alma ha recuperado la posesión de su bien propio

S. Transferido así el dominio de si mismo

(P ↔ Q) ˄ [(R ˄ S) → Q)]

P Q R S P↔Q R ˄ S R ˄ S → Q (P↔Q) ˄ [(R ˄ S)→Q)]

V V V V V V V V

V F V F F F V F

F V F F V F V V

F F F F V F V V

Tarea 4. Deducción e inducción.

Construir un trabajo grupal sobre la lectura “El método científico”. Cada estudiante revisará individualmente la lectura propuesta y los temas de deducción e inducción para dar solución al problema que a continuación se plantea, y posteriormente, en conjunto con su equipo construirá

...