Beruflich Dokumente
Kultur Dokumente
Departamento de Ciencias
Lluvia de ideas
Qu es un enunciado.
Qu es un enunciado abierto.
Qu es una proposicin.
16/11/2017 2
Cmo Resolver el siguiente problema?
16/11/2017 3
LOGRO DE SESIN
Al trmino de la sesin, el
estudiante identifica , diferencia
un enunciado de una proposicin
lgica y Formaliza las
proposiciones lgicas a un
lenguaje simblico, en la cual
previamente identifica los
conectivos lgicos as como
tambin determina el valor de
verdad de un esquema lgico por
medio de la tabla de verdad.
16/11/2017 4
LGICA
Lengua Espaola:
16/11/2017 5
ENUNCIADOS
Ejemplos:
a) 9 es un nmero impar
b) El len es herbvoro
d) X > 5
16/11/2017 6
PROPOSICIONES LGICAS
16/11/2017 7
SON PROPOSICIONES LGICAS
Las Oraciones:
Informativas (informacin)
Descriptivas (caracterstica de algn sujeto)
Explicativas (causa efecto)
16/11/2017 8
NO SON PROPOSICIONES LGICAS
16/11/2017 9
PROPOSICIONES SIMPLES
16/11/2017 10
PROPOSICIONES COMPUESTAS
16/11/2017 11
CONECTORES LGICOS
16/11/2017 12
FORMALIZACION
16/11/2017 13
FORMALIZACION
p q r s
16/11/2017 14
FORMALIZACION
16/11/2017 15
Negacin
TABLA DE VERDAD
Si p es verdadera p es falsa; si p
es falsa , p es verdadera
p p p p
V F 1 0
F V 0 1
16/11/2017 16
Disyuncin Incluyente
Dadas las proposiciones p ; q , se llama disyuncin de p y q a la proposicin:
p o q que se representa por: p q.
TABLA DE VERDAD
p q es verdadera si p es verdadera o q es
verdadera
16/11/2017 17
Disyuncin Excluyente
Dadas las proposiciones p y q , se llama disyuncin excluyente de p y q a la
proposicin: p o q que se representa por p q.
TABLA DE VERDAD
p q es verdadera si p es verdadera o q es
verdadera, pero no ambas
p q p q
V V F
V F V
F V V
F F F
16/11/2017 18
Conjuncin
Dadas las proposiciones p y q , se llama conjuncin de
p y q a la proposicin: p y q representada por p q
TABLA DE VERDAD
p q es verdadera si p y q son verdaderas
simultneamente
p q pq
V V V
V F F
F V F
F F F
16/11/2017 19
El condicional o Implicacin
Se llama condicional de p y q a la proposicin si p entonces q y se representa por: p
q , p se llama antecedente y q consecuente del condicional p q
TABLA DE VERDAD
p q es falsa si el antecedente es verdadero y el
consecuente falso
p q p q
V V V
V F F
F V V
F F V
16/11/2017 20
El bicondicional o doble implicacin
Se llama bicondicional de dos proposiciones p y q a la proposicin: p si y slo
si q representada por p q
TABLA DE VERDAD
pq es verdadera si p y q son ambas
verdaderas o ambas falsas
p q pq
V V V
V F F
F V F
F F V
16/11/2017 21
TABLA DE VERDAD
A continuacin se presenta el cuadro resumen de las tablas de verdad de
los conectores lgicos:
16/11/2017 22
Ahora vamos a resolver ?
16/11/2017 23
Ejercicios propuestos
16/11/2017 25
REFERENCIAS BIBLIOGRAFICAS
16/11/2017 26