Taller

Actividad primera sesión B-Learning Uso de las tablas de la verdad

Estudiante

Docente

Curso

Pensamiento Lógico y Matemático

Grupo

200611_1076

SOGAMOSO

08-03-2018

Taller

Actividad primera sesión B-Learning

 1. A continuación, encontrará un enunciado en lenguaje neutral, el estudiante deberá
realizar:

-Declaración de proposiciones simples.

Si los gatos volaran o supieran tocar saxofón, creería que estoy loco y dejaría que me enviaran
al psiquiatra. Los gatos no vuelan. Por lo tanto, no estoy loco.

Declaración de las proposiciones simples:

p: los gatos volaran

q: supieran tocar saxofón

r: creería que estoy loco

s: dejaría que me enviaran al psiquiatra

Declaración de las proposiciones compuestas:

(pvq) : Si los gatos volaran o supieran tocar saxofón

(rΛs): creería que estoy loco y dejaría que me enviaran al psiquiatra

(¬p): Los gatos no vuelan
(¬r): no estoy loco
Declaración del enunciado:
{[(pVq)→(rΛs)Λ(¬p)]→(¬r)}

p q r s (¬p) (¬r) (pvq) (rΛs) (pVq)→(rΛs) (pVq)→(rΛs) {[(pVq)→(rΛs)Λ(¬p)]→(¬r)}

Λ(¬p)
V V V V F F V V V F V
V V V F F F V F F F V
V V F V F V V F F F V
V V F F F V V F F F V
V F V V F F V V V F V
V F V F F F V F F F V
V F F V F V V F F F V
V F F F F V V F F F V
F V V V V F V V V V F
F V V F V F V F F F V
F V F V V V V F F F V
F V F F V V V F F F V
F F V V V F F V V V F
F F V F V F F F V V F
F F F V V V F F V V V
F F F F v V F F v V V

Truth Table
p q r s {[(pVq)→(rΛs)Λ(¬p)]→(¬r)}

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T F
F T T F T
F T F T T
F T F F T
F F T T F
F F T F F
F F F T T
F F F F T

p: voy para la playa q: Voy al interior

Nº Clave Nº
Lenguaje Formal Lenguaje simbólico
1 Voy a la playa y voy al interior (~p)→q 4
2 Voy a la playa y no voy al interior p↔(~q) 6
3 voy a la playa o voy al interior p∧q 1
4 si no voy a la playa, voy al interior (~q)→p 8
5 No es cierto que voy a la playa (~q)→(~q) 7
ire a la playa, si y solo si no voy al
6 ~p 5
interior
Si no voy a la playa, tampoco iré
7 p∧(~q) 2
al interior
si no voy al interior entonces voy
8 pvq 3
a la playa