Proposiciones matemáticas

¿Qué son?

Una proposición matemática p es un contenido semántico  al que se le asigna uno de los posibles valores de verdad:  V(verdadero) o F (falso).

Estos son los operadores lógicos: 

 ^ : “y” conjunción

v :“o” disyunción

-> :“si —, entonces” implicación

<-> : “si y sólo si” doble implicación

¬ : “no” negación 

 Las proposiciones de tipo implicación

Proposición directa p => q	<-- recíprocas -->	Proposición recíproca q => p
Proposición contraria no p => no q	<-- recíprocas -->	Proposición contrarrecíproca no q => no p

Si una proposición es verdadera, se hace una demostración.
 

Si una proposición es falsa se realiza el contraejemplo.

Se leen p implica q o bien si p entonces q.

                    

  Leyes de Demorgan

 Son una parte de la Lógica proposicional, analítica ,y fueron creadas por Augustus de Morgan. 

          1) p ^ q =  p v q 

           p y q es igual a p o q

2) p v q = p ^ q 

           p o q es igual a p y q