Documente Academic
Documente Profesional
Documente Cultură
Nociones de lgica
Nria Montserrat
Nociones de lgica
1. EXPRESIONES MATEMTICAS.
PROPOSICIONES
Llamaremos proposiciones a aquellas frases del lenguaje
natural sobre las cuales podamos afirmar unvocamente que
son verdaderas o falsas.
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
NEGACIN
Es el conector que niega la proposicin y se representa con
cualquiera de las siguientes notaciones: p, p, o p.
La negacin de una proposicin p es otra proposicin p que
es cierta cuando p es falsa, y falsa cuando p es cierta.
p
0
1
Nria Montserrat
p
1
0
Nociones de lgica
DISYUNCIN
Es aquel conector que une dos proposiciones ofreciendo una
alternativa entre una proposicin o la otra, as como
tambin ofrece la posibilidad que sean ambas y se
representa por los smbolos V, U o +.
La proposicin disyuncin pq es verdadera si alguna de los
dos proposiciones simples que la forman es verdadera.
p
0
0
1
1
Nria Montserrat
q
0
1
0
1
pq
0
1
1
1
Nociones de lgica
DISYUNCIN EXCLUYENTE
Es la disyuncin, pero su valor de verdad acepta una sola
proposicin como verdadera y se representa por el smbolo
.
La proposicin disyuncin excluyente pq es verdadera si
una y slo una de los dos proposiciones simples que la
forman es verdadera.
p
0
0
1
1
Nria Montserrat
q
0
1
0
1
pq
0
1
1
0
Nociones de lgica
CONJUNCIN
Es aquel conector que une dos proposiciones, incluyndolas
obligatoriamente a ambas. Se utiliza y como conectivo de
conjuncin. La conjuncin "y" se representa por los smbolos
, o x.
La proposicin conjuncin pq es falsa si alguna de los dos
proposiciones simples que la forman es falsa.
p
0
0
1
1
Nria Montserrat
q
0
1
0
1
pq
0
0
0
1
Nociones de lgica
CONDICIONAL
Es aqul conector en el que se establece una condicin para
que se cumpla la otra proposicin. La implicacin "si
entonces" se representa por el smbolo .
Nria Montserrat
Nociones de lgica
CONDICIONAL
p
0
0
1
1
q
0
1
0
1
pq
1
1
0
1
Nociones de lgica
BICONDICIONAL
Es aquel conector de la forma se cumple p si y solamente si
se cumple q. Esto significa que tambin se cumple la
situacin inversa, es decir que si se cumple q, entonces
tambin se cumple p. La implicacin " si y solamente si "
se representa por el smbolo .
la proposicin condicional p q es verdadera si p y q
toman el mismo valor.
p
0
0
1
1
Nria Montserrat
q
0
1
0
1
pq
1
0
0
1
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nociones de lgica
Nria Montserrat
Nociones de lgica
CONTRADICCIN
Es aquella proposicin que siempre es falsa, sin importar los
valores de verdad de las proposiciones que la componen. Es
decir, es la proposicin que slo toma el valor 0 y la
denotaremos por 0.
p
0
1
Nria Montserrat
p
1
0
p p
0
0
Nociones de lgica
TAUTOLOGA
Es aquella proposicin que siempre es verdadera, sin
importar los valores de verdad de las proposiciones que la
componen. Es decir, es la proposicin que slo toma el valor
1 y la denotaremos por 1.
q
0
1
0
1
pq
0
0
0
1
(pq)p
1
1
1
1
Nociones de lgica
4. LEYES LGICAS
4.1. LEYES LGICAS EQUIVALENTES
Nria Montserrat
Nociones de lgica
Leyes de simplificacin
ppp
ppp
pp1
pp1
Nria Montserrat
Nociones de lgica
Ley de contradiccin
p p 0
Nria Montserrat
Nociones de lgica
Leyes de identidad
p0p
p11
p1p
p00
1pp
Nria Montserrat
Nociones de lgica
Leyes commutativas
pqqp
pqqp
pqqp
Nria Montserrat
Nociones de lgica
Leyes de De Morgan
(p q) p q
(p q) p q
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
p q (p q) (q p)
Nria Montserrat
Nociones de lgica
Leyes de trasposicin
p q q p
p q p q
Nria Montserrat
Nociones de lgica
Leyes asociativas
(p q) r p (q r)
(p q) r p (q r)
(p q) r p (q r)
Nria Montserrat
Nociones de lgica
Leyes distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
5. VALIDACIN DE PROPOSICIONES
Nria Montserrat
Nociones de lgica
5. VALIDACIN DE PROPOSICIONES
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nria Montserrat
Nociones de lgica
Nociones de lgica
Nociones de lgica
Nria Montserrat
Nociones de lgica