PROGRAMA

DE
ESTUDIOS
POR
COMPETENCIAS
MATEMATICAS DISCRETAS
PROGRAMA EDUCATIVO:
ADMINISTRATIVA

LICENCIADO EN INFORMTICA

AREA DE DOCENCIA: INFORMTICA

CREDITOS: 8

PROPOSICIONES LGICAS

PROPOSITO DEL TEMA

Identificar las operaciones bsicas de las proposiciones lgicas con los

conectores y resolver ejercicios utilizando las tablas de verdad que
sirven para estimar los valores de verdad de expresiones lgicas.

CONOCIMIENTOS

Proposiciones
Conectores
Operaciones Lgicas
Tablas de verdad

ESTRATEGIAS DIDACTICAS

Exposicin del maestro de los conceptos, tablas de verdad y

conectores.
Elaboracin de tarjetas bibliogrficas con las tablas de verdad de
los conectores bsicos.
Explicacin de algunos ejemplos con tablas de verdad.
Ejercicios extra clase.
Realizar una prctica sencilla, de la aplicacin de la lgica
proposicional en los circuitos computacionales.

1. PROPOSICIONES
Sentencias declarativa, o reglas las
cuales tienen valores de verdad.
Valores, verdadero o falso. Pero no
ambos (verdadero y falso) y tampoco
pueden no tomar ningn valor.
Una proposicin es un hecho.
Los argumentos de las proposiciones
son: premisas y conclusiones de una
proposicin.
Las proposiciones son portadoras de
veracidad y falsedad.

EJEMPLOS DE PROPOSICIONES LOGICAS

VERDADERAS
El cielo es azul
La nieve es fra
12*12=144
Vicente Fox fue presidente de la Republica Mexicana
La Segunda Guerra Mundial duro desde 1939 hasta
1945

EJEMPLOS DE PROPOSICIONES LOGICAS

FALSAS
Honda hace televisiones
El General Fidel Castro es un Demcrata
8+99=231
Los Insectos crean su comida a travs de fotosntesis

INDI
CE

2. CONECTIVOS
PROPSICIONES COMPUESTAS

Las proposiciones son expresadas a travs de

variables (p, q, r, s). Conectivos lgicos y operadores
establecen relaciones entre dos o ms proposiciones.

INDI
CE

3. OPERACIONES LGICAS
Negacin
La negacin es la inversa de los valores de verdad de
una declaracin

Ejemplos
Algunas personas tienen miedo a morir
Algunas personas no tienen miedo a morir

(p)
(p)

Conjuncin
Cuando conjugamos dos declaraciones, tiene el sentido de afirmar
que son simultneamente verdaderas.

p = Londres es capital de Inglaterra

q = Cuba es una isla
Londres es capital de Inglaterra y Cuba es una isla

Disyuncin
La disyuncin tiene la funcin de enlazar dos proposiciones,
indicando que al menos una de ellas es verdadera o ambas.

p = 3 es un nmero primo
q = 3 es un nmero natural
3 es un nmero primo o 3 es un nmero natural

Condicional
Al relacionarse dos proposiciones con este conector es muy
importante distinguir la que queda a la izquierda (a la que se le
llama antecedente), de la que queda a la derecha (que se llama
consecuente).
El sentido de este conector es sealar, que si la proposicin
antecedente es verdadera, tambin lo es la proposicin
consecuente.

Ejemplo:
p = Marte es un planeta
q = Marte brilla con luz propia
Si Marte es un planeta entonces Marte brilla con luz
propia

Bicondicional
Esta expresin es un conector lgico que al relacionar dos
proposiciones indica que el valor de verdad de ambas es el mismo,
ya sea verdadero o falso.

p = Febrero tiene 29 das

q = El ao es bisiesto
Febrero tiene 29 das si y solo si el ao es bisiesto

Ejemplo: (pq)(rq)

No variables=n
No prop=2

4. TABLAS DE VERDAD
P

P v P

PvP

R
V

(Pv
Q)
V

v
R
V

P
V

P^P

(Qv
R)
V

(P^
Q)
V

v
R
V

(Qv
R)
V

5. TAUTOLOGA Y CONTRADICCIONES
Tautologa: Son aquellas frmulas que son ciertas para
cualquier valoracin de los smbolos proposicionales que
contiene.

Contradiccin: Son aquellas frmulas que son falsas

para cualquier valoracin de los smbolos proposicionales
que contiene.

RACTICA EN EL LABORATORIO DE ELECTRNICA

prctica es dirigida por un Profesor de Tiempo Completo del Centro Universitario (Dr. Rodolfo Zola Garca Lozano).
aterial (recursos de los alumnos, organizados por equipos)

Desarrollodelaprctica

Experimento1.Comprobarelfuncionamientodelascompuertaslgicas.

Experimento 2. Comprobar dos funciones que se hacen con compuertas lgicas (un
sumadordedosbits)

Experimento 3. Comprobar la aplicacin de las funciones para implementar circuitos de

aplicacin(sumadordedospalabrasdecuatrobits)

REFLEXIN FINAL
Durante la presentacin podemos ver los tres momentos
metdicos, durante la apertura conocer las diferentes operaciones,
trminos y tablas de verdad, ya para el desarrollo la solucin de
ejemplos y ejercicios con la supervisin del docente, para que los
alumnos sepan que estn resolviendo correctamente, ya para el
cierre y conocer la aplicacin de estos conocimientos matemticos
en la vida real, la propuesta es la elaboracin de una practica
donde los alumnos pueden relacionar lo aprendido con el mundo
real.
Cabe mencionar que los alumnos son de tercer semestre y no han
tenido ningn acercamiento con materias como electrnica o
sistemas digitales, sin embargo con esta pequea practica pueden
ver donde son aplicados los conocimientos adquiridos de lgica
proposicional.

BIBLIOGRAFA

INDI
CE