El

lgebra
proposicional
es
la
representacin del lenguaje usual tomando
como elemento bsico una representacin
matemtica de las frases declarativas que
definen las operaciones bsicas del lgebra
proposicional

Algebra
Preposicional
Matemticas Discretas

Fernando Montoya Garca

Saira Anglica Gern Fuentes
Ing. Guadalupe Guendulay Escalante

Algebra Preposicional
Ests participando en una carrera Adelantas al segundo En qu posicin terminas? Si contestaste
que en primero Ests absolutamente equivocado(a) Has adelantado al segundo, y has tomado su
sitio, por lo tanto, llegas en segunda posicin.
Proposicin (o enunciado) es una afirmacin verbal a la que puede asociarse un valor de verdad, es
decir, puede ser verdadera o falsa.
El lgebra proposicional o tambin llamada lgica matemtica es la representacin del lenguaje
usual tomando como elemento bsico una representacin matemtica de las frases declarativas que
definen las operaciones bsicas del lgebra proposicional estudia las proposiciones, entendiendo
como tales a los enunciados declarativos que tienen la propiedad de ser verdaderos o falsos; pero no
ambas al mismo tiempo.
Principales conectivos lgicos son:
NOMBRE

SIMBOLO TRADUCCIN

NEGACIN

No, no es el caso

CONJUNCIN

DISYUNCIN (INCLUSIVA) V

DISYUNCIN EXCLUSIVA

oo

CONDICIONAL

si ., entonces

BICONDICIONAL

si y slo si

LEYES DEL LGEBRA DE PROPOSICIONES:

Son Equivalencias Lgicas que nos permiten reducir esquemas moleculares complejos y expresarlos
en forma ms sencilla. Tambin son llamadas leyes lgicas, y representan formas proposicionales en
la que si se sustituyen sus variables por los enunciados correspondiente el resultado ser una
proposicin lgicamente verdadera. Con fundamento en el contenido de la definicin de ley lgica se
evidencia la relacin de est con las tautologas: toda tautologa es una ley lgica.
LA NEGACIN (~):
Sea p una proposicin. La negacin de p es la proposicin ~p que se lee no p, no es el caso que
p y cuyo valor lgico est dado por la siguiente tabla de verdad

p
1
0

~p
0
1

LA CONJUNCIN ()
Sean p y q dos proposiciones. La conjuncin de p y q es la proposicin p q, que se lee p y q, y
cuyo valor lgico est dado por la siguiente tabla de verdad:

pq

1
1
0
0

1
0
1
0

1
0
0
0

LA DISYUNCIN (V)
Sean p y q dos proposiciones. La disyuncin de p y q es la proposicin p v q, que se lee p o q, y
cuyo valor lgico est dado por la siguiente tabla de verdad:
p

pVq

EL CONDICIONAL ()
Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposicin
p q, que se lee si p, entonces q , y cuyo valor lgico est dado por la siguiente tabla de verdad:
p

pq

EL BICONDICIONAL ()
Sean p y q dos proposiciones. Se llama Bi-condicional de p y q a la proposicin p q, que se
lee p si y solo si q, o p es condicin necesaria y suficiente para que q y cuyo valor lgico est
dado por la siguiente tabla de verdad:
p

pq

Referencias
https://matematicapositiva.wordpress.com/2015/01/31/logica-matematica-conectivos-logicos/
http://es.slideshare.net/YULVANA/lgica-proposicional-4532215
http://docentes.uto.edu.bo/alvargaso/wp-content/uploads/2algebra_de_proposiciones.pdf
https://matematicapositiva.wordpress.com/tag/leyes-del-algebra-de-proposiciones/