TALLER DE LOGICA

MATEMATICA
Taller N 1: Introducción a la Lógica

DEINER SAENZ GUTIERREZ

FABIAN ESCOBAR
 Lógica Matemática

INTRODUCCION

2|Página
 Lógica Matemática

OBJETIVOS

3|Página
 Lógica Matemática

DESARROLLO
1. Teniendo en cuenta los enunciados:

a. p= llueve
b. q= hace frio
c. r= me enfermo

Exprese en forma oracional:

A: p ∧q= llueve y hace frio

B: p ∧ q= No llueve y no hace frio

C: p →q= Si hace frio entonces me enfermo

D: p → r= si llueve entonces no me enfermo

E: ( p ∨q ) ↔ r= Llueve o hace frio si, y solo si, me enfermo

2. Simbolice las siguientes proposiciones compuestas:

A. No todos los políticos son corruptos

R/ a= los políticos son corruptos

Conector:
Negació n ( )

Representación Simbólica: a

4|Página
 Lógica Matemática

B. Si los perros y los gatos son cuadrú pedos, el hombre también los es

R/ a= los perros son cuadrú pedos

b= los gatos son cuadrú pedos
c= El hombre es cuadrú pedo

Conectores:
Condicional( → )
Conjunció n ( ∧ )

Representación Simbólica: ( a ∧ b ) → c

C. La luna es una estrella o un satélite, si y solo si, la tierra es un planetoide

R/ a= La luna es una estrella

b= la luna es un satélite
c= La tierra es un planetoide

Conectores:
Disyunció n Inclusiva ( ∨ )
Bicondicional( ↔ )

Representación Simbólica: ( a ∨ b ) ↔ c

3. Diga en que casos son verdaderas las proposiciones:

A. [ ( P)]

P P ( P) [ ( P)]
V F V F
F V F V

R/ Cuando la proposició n ( P ), es falsa entonces la proposició n [ ( P ) ], es

verdadera.

5|Página
 Lógica Matemática

B. ( p ∨q ) → ( p ∧ q )

P q P q ( p ∨q ) ( p ∨q ) ( p∧ q) ( p ∨q ) → ( p ∧ q )

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

R/ En todos los casos la proposició n es verdadera.

C. ( p →q ) ↔ ( p∧ q )

P q q ( P →q
( P →q
) ) ( p∧ q) ( p →q ) ↔ ( p∧ q )
V V F V F F V
V F V F V V V
F V F V F F V
F F V V F F V

R/ En todos los casos la proposició n es verdadera.

D. [ ( p∧ q ) → ( p ⊽ r ) ]

P q r ( p ∧q ) ( p⊽r) ( p ∧q ) → ( p ⊽ r ) [ ( p∧ q ) → ( p ⊽ r ) ]
V V V V F F V
V V F V V V F
V F V F F V F
V F F F V V F
F V V F V V F
F V F F F V F
F F V F V V F
F F F F F V F

6|Página
 Lógica Matemática

R/ Es verdadera cuando las proposiciones P, q y r son verdaderas.

4. ¿Qué es un diagrama de verdad? De por lo menos tres ejemplos.

R/ Son esquemas grá ficos que permiten determinar si una proposició n compuesta
es verdadera o falsa.

Ejemplo 1:
Dados los valores :
a=V
b=V

Realiza el diagrama de la siguiente proposición: a⋀b

V V
V

Ejemplo 2
Dados los valores:
a= V
b= V
C= V

Realiza el diagrama de la siguiente proposición: a ⋀ b⟶~c

V V V
V F
F

Ejemplo 3
Dados los valores:
a= V
b=V
c=V
d=V

Realiza el diagrama de la siguiente proposición: (~b↔~c⋀d) ⟶a

V V V
F F
F

7|Página
 Lógica Matemática

V V
F

WEBGRAFIA
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

http://www.monografias.com/trabajos/iartificial/pagina4_1.htm

http://soko.com.ar/matem/Logica_proposicional.htm

8|Página