Sei sulla pagina 1di 7

* Lgica

Proposicional

Departamento de Ingeniera Informtica.


Introduccin a la Informtica. Unidad II.
Facilitador: Prof. Charles Maldonado

* La Lgica

Proposicional
Es la ms antigua y simple de las
formas de lgica. Utilizando una
representacin
primitiva
del
lenguaje, permite representar y
manipular aserciones sobre el
mundo que nos rodea.

La
lgica
proposicional
permite
el
razonamiento, a travs de un mecanismo que
primero evala sentencias simples y luego
sentencias complejas, formadas mediante el
uso de conectivas proposicionales, por
ejemplo Y (AND), O (OR). Este mecanismo
determina
la
veracidad
de
una sentencia compleja, analizando los
valores de veracidad asignados a las
sentencias simples que la conforman.
Una proposicin es una sentencia simple que
tiene un valor asociado ya sea de verdadero
(V), o falso (F). Por ejemplo:

Hoy es lunes
Ayer llovi
Hace calor

La lgica proposicional, permite la asignacin


de un valor verdadero o falso para la
sentencia completa, no puede analizar las
palabras individuales que componen la
sentencia.

Las proposiciones pueden combinarse para expresar conceptos ms


complejos. Por ejemplo:

Hoy es lunes y hace calor.

A la proposicin anterior dada como ejemplo, se la denomina frmula


bien formada (que se abrevia fbf en castellano o wff de well-formed
formula, en ingls). Una frmula bien formada puede ser una proposicin
simple o compuesta que tiene sentido completo y cuyo valor de
veracidad, puede ser determinado.
La lgica proposicional genera un mecanismo para asignar valores de
veracidad a la proposicin compuesta, basado en los valores de veracidad
de las proposiciones simples y en la naturaleza de los conectores lgicos
involucrados.

*Frmula Bien Formada

NOMBRE

CONECTOR

SIMBOLO

Conjuncin

y (AND)

Disyuncin

o (OR)

Negacin

no (NOT)

Implicacin

Si Entonces
(If -Then)

Equivalencia

Igual

* Conectivas bsicas de la
lgica proposicional

* Tablas de verdad para operadores lgicos


P

P Q

P Q

~p

PQ

PQ

La conectiva de implicacin (), puede ser considerada como un condicional


expresado de la siguiente forma:
Si A B va a ser verdadero, Entonces toda vez que A sea verdadero, B debe ser
siempre verdadero.
Para los casos en los cuales A es falso, la expresin A B, es siempre verdadera,
independientemente de los valores lgicos que tome B, ya que el operador de
implicacin no puede hacer inferencias acerca de los valores de B.

* Equivalencias en lgica proposicional

similares a las del lgebra Booleana.


DENOMINACIN
Leyes Equipotenciales

Leyes Conmutativas
Leyes Distributivas
Leyes Asociativas
Leyes Absortivas
Leyes de DeMorgan

REPRESENTACIN LGICA
A B = ~A v B
A ^ ~A = F
A v ~A = V
A^B=B^A
AvB=BvA
A ^ (B v C) = (A ^ B) v (A ^ C)
A v (B ^ C) = (A v B) ^ (A v C)
A ^ (B ^ C) = (A ^ B) ^ C
A v (B v C) = (A v B) v C
A ^ (A v B) = A
A v (A ^ B) = A
~(A ^ B) = ~A v ~B
~(A v B) = ~A ^ ~B

* Los enunciados o

proposiciones lgicas.

* El

siguiente enunciado podra salir de la boca


de un enfermo mental: "Si soy Napolen,
entonces no soy Napolen". Este enunciado,
como veremos ms adelante, equivale al
enunciado "No soy Napolen". Como el hablante
no es Napolen, es un enunciado verdadero.

Qu es un enunciado lgico?
Una proposicin o enunciado es el
Significado de cualquier frase
Declarativa (o enunciativa) que
pueda ser o verdadera (V) o falsa
(F). Nos Referimos a V o a F como
los valores de verdad del enunciado.

Ejemplo de enunciados o proposiciones:


La frase "1=1" es un enunciado, puesto
que puede ser verdadero o falso. Como
resulta que es un enunciado verdadero,
su valor de verdad es V.
La frase "1 = 0" tambin es un
enunciado, pero su valor de verdad es
F.
"Llover maana" es una proposicin.
Para conocer su valor de verdad habr
que esperar hasta maana.

Ejemplo de enunciados no validas:

"Haz los ejercicios de lgica" no es un


enunciado, puesto que no se le puede asignar
ningn valor de verdad (Est en modo
imperativo, es una orden, y no una frase
declarativa).

* "Haz

el amor y no la guerra" tampoco es un


enunciado, puesto que no se le puede asignar
ningn valor de verdad (Tambin est en modo
imperativo, es una orden, y no una frase
declarativa).

* "El perro" no es una proposicin, puesto que no

es ni siquiera una frase completa (al menos en


este contexto).

Potrebbero piacerti anche