Vous êtes sur la page 1sur 39

Lenguaje matemtico, conjuntos y nmeros

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

Ejemplos de proposiciones son:


"Dos es par".
"Tres es mayor que siete.
Las siguientes frases no son proposiciones:
"Es dos nmero par?".
"Dos ms tres".

Nria Montserrat

Nociones de lgica

A la pareja de valores semnticos (Verdadero, Falso) se los


suele representar por los valores (V, F) en la lgica
tradicional en espaol o bien con los smbolos (1, 0) en
matemticas.
Se acostumbra a usar letras minsculas para hacer
referencia a una proposicin lgica. Habitualmente se usan
las letras p, q, r, s...
Para hacer referencia al valor semntico de la proposicin se
escribe p=1 o, simplemente, p es verdadera o q=0 o,
simplemente, q es falsa.

Nria Montserrat

Nociones de lgica

Una proposicin es simple, si ninguna parte de ella es a su


vez una proposicin.
Ejemplos de proposiciones simples:
p: Dos es un nmero par".
q: "Tres es mayor que cuatro".

El valor de verdad de una proposicin simple depende


exclusivamente de si el enunciado de la proposicin, es
Verdadero o Falso.

Nria Montserrat

Nociones de lgica

Algunos enunciados o proposiciones son compuestos, es


decir, estn formados de proposiciones simples y de
conectivos que los unen. Por ejemplo, Dos es par y tres es
primo es una proposicin compuesta formada por dos
proposiciones simples.
El valor de verdad de una proposicin compuesta depende
completamente del valor de verdad de cada proposicin
simple y del modo como se les rene o conecta para formar
la proposicin compuesta.

Nria Montserrat

Nociones de lgica

2. CONECTORES LGICOS BSICOS

Llamaremos conectores a los smbolos que unen una o


varias proposiciones simples para formar una proposicin
compuesta.

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 .

En la proposicin pq, p se llama proposicin antecedente y


q, proposicin consecuente.

La proposicin condicional pq es falsa nicamente si p es


verdadera y q es falsa.

Nria Montserrat

Nociones de lgica

CONDICIONAL
p
0
0
1
1

q
0
1
0
1

pq
1
1
0
1

A la proposicin condicional pq se le pueden asociar tres


proposiciones condicionales ms:
El condicional qp se denomina condicional recproco.
El condicional pq se denomina condicional contrario.
El condicional qp se denomina condicional contrarecproco.
Nria Montserrat

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

En contexto matemtico, normalmente se usan siempre


proposiciones verdaderas. Para distinguir el sentido
matemtico del otro, utilizaremos los smbolos y
en lugar de y , respectivamente.

Es decir p q significa que la proposicin pq es verdadera


y se lee p implica q, y p q significa que la proposicin
p q es verdadera y se lee p es equivalente a q.
A partir de esto podemos definir que dos proposiciones p y q
son equivalentes si p y q toman el mismo valor o, lo que es
lo mismo, si el bicondicional p q es siempre verdadero.

Nria Montserrat

Nociones de lgica

3. CONSTRUCCIN DE NUEVAS PROPOSICIONES


Aspectos a tener en cuenta:
El conector negacin afecta nicamente a la proposicin
que le sucede, por lo cual, si sta es compuesta debe ir entre
parntesis. Por ejemplo, en pq la negacin solo afecta a
p; en cambio, en (pq) la negacin afecta a la proposicin
compuesta pq y estas dos expresiones no son equivalentes.
Una expresin del tipo pqr da lugar a dos
interpretaciones distintas: p(qr) y (pq)r.
Nria Montserrat

Nociones de lgica

En general, el orden de escritura de las proposiciones es


importante, Por ejemplo, pq y qp no son proposiciones
equivalentes.
El valor verdadero o falso de una proposicin compuesta
depende de los valores que tomen las proposiciones simples
que la forman y, normalmente, es necesario construir una
tabla de verdad para conocerlo.

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.

Por ejemplo, la proposicin (p p), vemos es siempre falsa,


cualquiera que sea el valor de verdad de p.

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.

Por ejemplo, la proposicin (p q) p, sta es verdadera


independientemente del valor de verdad de p y de q.
p
0
0
1
1
Nria Montserrat

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

Ley de la doble negacin


p p

Nria Montserrat

Nociones de lgica

Leyes de simplificacin
ppp
ppp
pp1
pp1

Nria Montserrat

Nociones de lgica

Ley del tercio excluso


p p 1

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

Leyes del condicional


p q p q
p q (p q)
p q p (p q)
p q q (p q)

Nria Montserrat

Nociones de lgica

Ley del bicondicional

p q (p q) (q p)

Ley de reduccin al absurdo


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

4.2. LEYES LGICAS CONDICIONALES

Leyes de simplificacin condicional


pqp
ppq

Nria Montserrat

Nociones de lgica

Ley modus ponendo ponens


(p q) p q

Ley modus tollendo tollens


(p q) q p

Nria Montserrat

Nociones de lgica

5. VALIDACIN DE PROPOSICIONES

Por validar una proposicin se entiende determinar el


valor que toma esta proposicin en funcin del valor
que toma cada proposicin que la forma.

Nria Montserrat

Nociones de lgica

5. VALIDACIN DE PROPOSICIONES

Por validar una proposicin se entiende determinar el


valor que toma esta proposicin en funcin del valor
que toma cada proposicin que la forma.

Nria Montserrat

Nociones de lgica

VALIDACIN MEDIANTE LA TABLA DE VERDAD

Este mtodo consiste en construir la tabla de verdad de la


proposicin con cada una de las proposiciones que
componen la expresin a validar y comprobar que se obtiene
una tautologa.

Nria Montserrat

Nociones de lgica

VALIDACIN MEDIANTE REFUTACIN

Este mtodo consiste en aplicar la ley de reduccin al


absurdo. Es decir, se supone que la proposicin es falsa y se
comprueba que esto conduce a una contradiccin, por lo
cual la proposicin debe ser verdadera.

Nria Montserrat

Nociones de lgica

6. FORMA CLAUSULADA DE PROPOSICIONES


En lgica matemtica, una clusula es una disyuncin
de proposiciones simples y/o sus negaciones. As, por
ejemplo, p q r es una clusula lgica, mientras
que (pq) no lo es.

La forma clausulada de una proposicin (o forma


normal conjuntiva) es una proposicin equivalente a la
inicial que est compuesta nicamente como
conjunciones de clusulas lgicas.

Nria Montserrat

Nociones de lgica

Para obtener la forma clausulada equivalente a otra


proposicin inicial es recomendable seguir los pasos siguientes:
Sustituir p q por (p q) (q p) utilizando la ley del
bicondicional.
Sustituir p q por p q utilizando la primera ley del
condicional.
Sustituir (p q) por p q y sustituir (pq) por p q
utilizando las leyes de De Morgan.

Utilizar las leyes distributivas, asociativas y conmutativas


para generar la forma clausulada.
Nria Montserrat

Nociones de lgica

Lenguaje matemtico, conjuntos y nmeros

Nociones de lgica

Nria Montserrat

Nociones de lgica

Vous aimerez peut-être aussi