LGICA MATEMTICA

Introduccin a la lgica matemtica

Gua de trabajo

Favin Arenas A. y Amaury Camargo

Universidad de Crdoba
Facultad de Ciencias Bsicas e Ingenieras
Departamento de Matemticas

Lgica Matemtica

4.7 Objetivos

Gua de trabajo 1

4.7.

Objetivos

El alumno estar en la capacidad conocer, utilizar y aplicar los siguientes

elementos bsicos para la solucin de un problema:
Resolver proposiciones compuestas utilizando los conectivos lgicos.
Hallar el valor de verdad de una proposicin a travs de la conjuncin,
disyuncin, condicional, bicondicional y negacin a travs de proposiciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.

Favin Arenas.

100

Camargo Bentez.

Lgica Matemtica

4.8 Recursos de aprendizaje

4.8.

Recursos de aprendizaje
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico

Proposiciones
La lgica es toda una disciplina en la que las reexiones y el razonamiento son fundamentales. Es estudiada tambin por la losofa, pero, aqu nos
referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el
que se desarrolla toda esta teora se llama proposicin.
De todo lo anterior una proposicin es una armacin con sentido completo
de la cual se puede armar que es cierta o que es falsa.
Ejemplo:
1. La sal es un compuesto qumico
2. 10 < 14
3. 13 es un nmero impar
4. El sol sale de noche
Favin Arenas.

101

Camargo Bentez.

Lgica Matemtica

4.9 Actividades

5. 45 + 5 = 30
6. De que color es la pared?
Las armaciones 1, 2, 3, 4 y 5. son proposiciones aunque no todas son verdaderas siguen siendo proposiciones.
A esta propiedad de las proposiciones de ser verdadera o falsa se le llama
valor de verdad.
Las proposiciones se representan con letras minsculas, usualmente p, q, r,
s, t,..
Existen casos donde el sujeto del que se habla en la proposicin no est
denido o no se conoce, por lo que tiene una incgnita.
A estos casos les llamamos frases proposicionales. (Suele llamarles proposiciones abiertas)
1. x + 12 = 20
2. Alguien es un ingeniero famoso

4.9.

Actividades

Cules de los enunciados siguientes pueden considerarse como proposiciones

Ejercicio 18.
b)

1.

a)

Un tringulo es un polgono de tres ngulos.

La losofa es triangular

c) 52 = 21
d)

Un cuadrado es una gura plana de cuatro lados.

e) Un cuadrado es un polgono de cuatro ngulos rectos

Favin Arenas.

102

Camargo Bentez.

Lgica Matemtica

4.9 Actividades

f) Un rectngulo es un polgono de cuatro ngulos rectos.

g) Medelln es ciudad de eterna primavera.
h)

Un rectngulo es una gura verde.

i) x2 + 3x

4=0

j) Todas las naranjas son amarillas.

k)
2.

Algunas manzanas son rojas.

Para que la proposicin abierta x + 5 < 10 tenga valor de verdad falso,

x debe reemplazarse por:
a) 2
b) 3
c) 4
d) 5

4.9.1.

Proposiciones conjuntivas, p ^ q

Dos enunciados cualesquiera se pueden combinar con la palabra "para formar un enunciado compuesto llamado la conjuncin de los enunciados originales. Simblicamente, p ^ q denota la conjuncin de los enunciados p y q,
que se lee "p y q".
El valor de esta proposicin conjuntiva depender de que las dos proposiciones que la conforman sean verdaderas,es decir, que solo es verdadera si las
dos proposiciones son verdaderas
nota: recordemos que V es simbolizado por (1) y F por (0)
La tabla de verdad del enunciado compuesto p ^ q est dada por:
Favin Arenas.

103

Camargo Bentez.

Lgica Matemtica

4.9 Actividades

p q p^q
1 1

1 0

0 1

0 0

1. p : El dos es un nmero par (1)

2. q : Siete es un nmero primo (1)
3. r : El ocho es un nmero primo (0)
as que :
p ^ q : El dos es un nmero par y siete es un nmero primo (1)
En caso de que una de las dos sea falsa entonces toda la proposicin conjuntiva lo ser.
r ^ q : El ocho es un nmero primo y siete es un nmero primo (0)
4.9.2.

Proposiciones disyuntivas, p _ q

Dos enunciados se combinan con la palabra .o"para formar un enunciado compuesto llamado la disyuncin de los enunciados originales. Simblicamente,
p _ q denota la disyuncin de los enunciados p y q, que se lee "p o q".
El valor de esta proposicin conjuntiva depender de que las dos proposiciones que la conforman sean no sean falsas,es decir, que solo es falsa si las
dos proposiciones son falsas.
La tabla de verdad del enunciado compuesto p _ q est dada por:

Favin Arenas.

104

Camargo Bentez.

Lgica Matemtica

4.9 Actividades

p q p_q

4.9.3.

1 1

1 0

0 1

0 0

Proposiciones condicionales, p ! q

Cuando se unen dos proposiciones con el conectivo entonces , se forma una

proposicin que solo es falsa si las primera es verdadera y la segunda es falsa
(solo en este orden).
La tabla de verdad de la proposicin compuesta p ! q est dada por:
p q p!q
1 1

1 0

0 1

0 0

Ejemplo 27.
Sea p : El canguro es marsupial ( 1 )
q : America es habitat de todos los marsupiales ( 0 )

El canguro es marsupial entonces Amrica es habitat de todos los marsupiales.(0)

Favin Arenas.

105

Camargo Bentez.

Lgica Matemtica

4.9 Actividades

4.9.4.

Proposiciones bicondicionales, p $ q

Cuando se unen dos proposiciones con el conectivo si y solo si , se forma

una proposicin que solo es falsa si las dos tienen valores de verdad diferentes.
La tabla de verdad del enunciado compuesto p $ q est dada por:
p q p$q

4.9.5.

1 1

1 0

0 1

0 0

Negacin de Proposiciones :

Aunque no es un conectivo lgico (como _; ^; Y ,=); ,) genera nuevas

proposiciones con solo cambiarle el valor de verdad y se simboliza anteponiendo a la letra de la proposicin:
Ejemplos:
p : todo nmero impar es primo
p : no todo nmero impar es primo
q : 9 es menor que 6
q : 9 no es menor que 6
La tabla de verdad de la negacin de p :
p

p est dada por:

p

1 0
0 1

Favin Arenas.

106

Camargo Bentez.

Lgica Matemtica

4.10 Actividades

4.10.

Actividades

4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama

pentgono, si tiene 6 lados se llama hexgono En el enunciado anterior
identica todas las proposiciones cerradas.
(Represntalas con las letras p, q, r).
5. Con las proposiciones clasicadas en el ejercicio anterior. escribe en
palabras las proposiciones compuestas siguientes:
a) p !
b)

(p $ q)

c) (p ! q ) ! (p ! r)
6.

Supn que p es verdadera, q es falsa y r es falsa cmo es el valor de

verdad de las siguientes proposiciones
a ) p^
b)

(p ! q)

7. Completa las siguientes tablas de verdad

p q

a)

1 1

1 0

0 1

0 0

Favin Arenas.

p^

107

q p Y q (p Y q) _ (

p^

q)

Camargo Bentez.

Lgica Matemtica

4.10 Actividades

p q

b)

q p $ q p^

1 1

1 0

0 1

0 0

q (p $ q) ! (p^

p q r

q)

((p ! r) ^ (q ! r)) ! r

1 1 1
1 1 0
1 0 1
c)

1 0 0
0 1 1
0 1 0
0 0 1
0 0 0

8. Construye 3 frases que no sean proposiciones, 3 proposiciones, luego

niega las tres proposiciones.

Favin Arenas.

108

Camargo Bentez.