PROPOSICIONES MATEMÁTICAS

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

Operadores lógicos:

• Negación: no p no ( no p) = p
• O lógica: p or q
• Y lógica: p and q
• Implicación: p  => q  (Se lee p implica q o también si p entonces q)
• Doble implicación: p <=> q


p es la hipótesis y q es la tesis, también se dice que p es condición suficiente para q y q es condición necesaria para p.



LEYES DE DE MORGAN





Ahora vamos a poner en práctica lo anterior.


 EJERCICIO RESUELTO
Enuncia la proposición, recíproca, contraria y contrarrecíproca de:
la suma de nº enteros impares es par.
DIRECTA 2N =>su suma es par
RECÍPROCA  su suma es impar => 2N impar
CONTRARIA si n no es impar o m no es impar => su suma no es par
CONTRARRECÍPROCA su suma no es impar => m no impar o n no impar