Formatos para prcticas de laboratorio

PLAN DE CLAVE
DE
NOMBRE DE LA ASIGNATURA
ESTUDIO ASIGNATURA

CARRERA
LSC

PRCTICA
No.
1

Matemticas Discretas

LABORATORIO
DE
NOMBRE
DE
LA PRCTICA

Licenciado en Sistemas Computacionales

DURACIN
(HORAS)

Conectivos y sus tablas de verdad

1. INTRODUCCIN
El ser humano tiene la capacidad del razonamiento lgico esto es que partiendo de algunos
juicios dados (premisas) se puede llegar deductivamente a un juicio nuevo llamado conclusin.
Por tal motivo es indispensable conocer el lenguaje de la lgica para poder expresarla y dada
una situacin problemtica llegar a obtener una conclusin valida.
2. OBJETIVO (COMPETENCIA)
Identificar los conceptos bsicos de la lgica proposicional as como los conectivos y sus tablas
de verdad por medio de la realizacin de ejercicios para aplicarlos posteriormente a la
resolucin de problemas lgico-matemticos con actitud analtica y responsable.
3. FUNDAMENTO
A fines del siglo XVII Leibniz precursor de la Lgica Matemtica, propone un clculo logstico en
donde se utilizan smbolos que representan a los pensamientos y sus relaciones. Pero su idea
solo quedo como programa a analizar. Es a finales del siglo XIX cundo surgen nuevos intentos
en esta modalidad lgica. Poco a poco se fue ampliando esta ciencia auxiliada por un lenguaje
simblico semejante al de las matemticas. Sin embargo, la lgica matemtica no trata de
cantidades o nmeros si no de procesos deductivos.

Pgina

1 de 6

Formatos para prcticas de

laboratorio
La lgica es la ciencia que tiene como objetivo el anlisis de los mtodos de razonamiento.
La lgica investiga la relacin de consecuencia que se da entre una serie de premisas y la
conclusin de un argumento correcto. Se dice que un argumento es correcto (valido) o lgico si
su conclusin es consecuencia de sus premisas, de otro modo es incorrecto.
La lgica se estructura de la siguiente forma:
Lgica Proposicional: Es un clculo hipottico porque la deduccin se establece en una
relacin condicional entre las premisas y la conclusin.
Lgica de Predicados: Es una lgica categorial porque la deduccin se efecta segn se
puedan establecer o no relaciones de pertenencia o de posesin de propiedades de individuos.
Lgica de Primer Orden: Es la unin del clculo proposicional y el clculo de predicados.
Lgica de 2 ,3 4,.n Orden: Sobre la lgica de primer orden donde se acepto cuantificar
sobre propiedades o predicados se va subiendo el nivel.
Empezaremos por ver la Lgica Proposicional, por lo cual es necesario identificar el concepto
de proposicin.
Que es una proposicin?
Una proposicin es un enunciado en lenguaje natural que puede ser calificado como falso o
verdadero pero no verdadero y falso a la vez. Ejemplos:
Ayer llovi en Mexicali
Cierra la puerta
La luna es un satlite natural de la Tierra

F, por lo tanto si es una proposicin

No es una proposicin porque no se puede
evaluar como falsa o verdadera.
V, por lo tanto si es una proposicin

El contenido de proposiciones se representa por medio de una variable. Para esto se emplean
letras minsculas, entre las mas empleadas se encuentran: p,q,r,s,t,u,..
Las proposiciones que aqu se analizan sern proposiciones enunciativas, dentro de la lgica
bivalente las proposiciones sern siempre verdaderas o falsas.
Si p es una proposicin sus posibles valores de verdad son los siguientes:
p
V
F
Cdigo GC-N4-017
Revisin 1
Pgina

2 de 6

Para dos variables las posibles combinaciones de sus valores de verdad son:
p
V
V
F
F

q
V
F
V
F
n

En general un nmero de n proposiciones, el nmero de combinaciones posibles seria: 2

as que si n=3 entonces tendramos un total de 8 combinaciones el resultado sera el siguiente:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

Conectivos y sus interpretaciones semnticas

Los conectivos son los encargados de establecer las conexiones lgicas entre las variables
proposicionales, los cuales son 5 uno mondico y 4 didicos:
Mondico

Didicos

Conjuncin

Negacin

Disyuncin

Condicional

Bi condicional
La Negacin: Toma como argumento una proposicin y arroja como valor lo contrario al valor
de la proposicin. Ejemplo :
No ocurre que
No es cierto que.
No es verdad que.
La colocacin del smbolo de la negacin es prefija a la variable proposicional a la que se
aplica, ejemplo:
p

r
V
F
V
F
V
F
V
F

Su tabla de verdad es:

p
V
F

p
F
V

La conjuncin: Sean p y q dos proposiciones cualesquiera es posible unirlas conjuntivamente

mediante y o cualquier otra forma de unin conjuntiva del lenguaje natural.
Se coloca de manera infija entre las variables proposicionales a las que se aplica, ejemplo:
pq
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

La disyuncin: En el caso de la disyuncin se utilizara la disyuncin inclusiva ya que en esta

se puede dar una u otra de las alternativas o ambas a la vez, su smbolo es v y se coloca de
manera infija entre las variables proposicionales a las que se aplica, ejemplo
pvq
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

El Condicional: El condicional Si..entonces. Es un conectivo para formar formulas de

suma importancia pues formaliza la estructura deductiva entre 2 premisas.
Su smbolo es y se coloca de manera infija entre las variables proposicionales a las que se
aplica, ejemplo:
pq

y su tabla de verdad es:

p
V
V
F
F

q
V
F
V
F

El Bi condicional: Se utiliza para expresar la condicin suficiente y necesaria, expresada en el

lenguaje natural Si .y solo si., su smbolo es y se coloca de manera infija entre las
variables proposicionales a las que se aplica, ejemplo:
pq
y su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

Jerarqua de conectivos:
Para determinar los valores de verdad de una proposicin compuesta es necesario conocer
cules son las reglas de precedencia de los conectivos para asegurar que la evaluacin es
correcta.
De mayor a menor

Negacin

Conjuncin

Disyuncin

Condicional

Bi condicional
Ejemplo:
El orden de evaluacin de la expresin

p v q r seria utilizando parntesis (p) v (q r)

4. PROCEDIMIENTO (DESCRIPCIN)
A)
EQUIPO NECESARIO

MATERIAL DE APOYO

No Aplica

Cuaderno y lpiz

B)

DESARROLLO DE LA PRCTICA
a) De las siguientes oraciones determine si es o no una proposicin:
1) Enciende el auto
2) Los osos polares son blancos
3) Los leones son ms feroces.
4) El cielo es azul.
5) Los hombres son ms inteligentes.
6) Haz la tarea.
7) Los ciegos no pueden ver.
8) Los alumnos de Matemticas Discretas reprobaron el primer parcial.
9) Lava tu ropa.
10) Las alumnas de Matemticas Discretas aprobaron el primer parcial.
SI

NO
SI
SI
SI
SI
NO
SI
SI
NO

b) Obtener las combinaciones de la tabla de verdad para n=5

p

pq

pr

p rs

st

st

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

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

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

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

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

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

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

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

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

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

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

Cdigo GC-N4-017
Revisin 1
Pgina

6 de 6

F
F
F
F
F
F
F
F
F
F
F

V
V
V
F
F
F
F
F
F
F
F

F
F
F
V
V
V
V
F
F
F
F

V
F
F
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
F
F
F
F
F
F

F
F
F
V
V
V
V
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
F
F
V
V
V
V

F
F
V
V
F
F
V
V
F
F
V

V
V
F
F
V
V
F
F
V
V
F

Cdigo GC-N4-017
Revisin 1
Pgina

6 de 6

c) Realiza 6 veces las tablas de verdad para cada uno de los conectivos
p

pq

pr

p rs

st

st

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

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

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

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

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

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

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

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

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

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

C)

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

CLCULOS Y REPORTE

Se debern entregar los ejercicios al profesor para su revisin.

Cdigo GC-N4-017
Revisin 1
Pgina

6 de 6

5. RESULTADOS Y CONCLUSIONES
El alumno habr identificado y comprendido la correcta utilizacin de los conectivos y sus tablas
de verdad, as como identificar enunciados en lenguaje natural que puedan ser representados
como proposiciones.
6. ANEXOS

7. REFERENCIAS

Cdigo GC-N4-017
Revisin 1
Pgina

6 de 6