Page 1


 Es la representación de las proposiciones mediante expresiones lógicas formadas por variables y conectores.

 Para obtenerlas podemos seguir los siguientes pasos:  Remplazar cada proposición atómica por una letra.  Enlazarlas mediante los conectores lógicos respectivos, utilizando el símbolo correspondiente.


Ejemplos  Conector “AND” (^)  Londres es la capital de Inglaterra y Cuba es una isla.  P = Londres es la capital de Inglaterra  Q= Cuba es una isla  Traducción: P ^ Q  Conector “OR” ( v )  América es el nuevo continente o es un viejo continente.  A= América es el nuevo continente  C= Es un viejo continente v  Traducción: A C


Ejemplos  Negación “NO” (~)  Juan no tiene dinero.  J= Juan tiene dinero  Traducción: ~J  Condicional “ Si, entonces”()  Si Pedro estudia, entonces pasara el semestre.  P= Pedro estudia  S= Pasara el semestre  Traducción : P  S  Bicondicional “ si y solo si ”()  Yo juego fútbol si y solo si estoy sano.  F= Yo juego fútbol  S= Estoy sano  Traducción: F  S


Operaciones Lógicas  Negación “NO” (~)

 Conjunción “AND” (^)


Operaciones Lógicas  Disyunción “OR” ( v )

 Condicional “ Si, entonces”()


Operaciones Lógicas  Bicondicional “ si y solo si ”()

Traducciones  

Cálculo Proposicional