Proposiciones Logicas Matematica
Proposiciones Logicas Matematica
Proposiciones Logicas Matematica
Clases de proposiciones
GC-F -005 V. 01
TIPOS DE CONECTIVOS Y EJEMPLOS
NOT ¬ Negación
AND ^ Conjunción
OR v Disyunción inclusiva
OR
v Disyunción exclusiva
exclusivo
Condicional
Bicondicional
A) NEGACION:
EJEMPLO: Juan conversa.
Juan no conversa.
B) CONJUNCION:
EJEMPLO: P: La casa esta sucia.
Q: La empleada la limpia mañana.
PQ: La casa esta sucia y la empleada la limpia mañana.
C) DISYUNCION:
GC-F -005 V. 01
D) DISYUNCION EXCLUSIVA:
EJEMPLO: P: Pedro juega básquet.
Q: María juega futbol.
PVQ: Pedro juega básquet o María juega futbol.
E) CONDICIONAL:
EJEMPLO: P: Si me saco la lotería.
Q: Te regalare un carro.
PQ: Si me saco la lotería entonces te regalare un carro.
F) BICONDICIONAL:
GC-F -005 V. 01
PROPIEDADES DEL ALGEBRA DE
PROPOSICIONES
A) CONMUTATIVA:
B) ASOCIATIVA:
C) DISTRIBUTIVA:
D) IDENTIDAD:
E) ABSORCION:
GC-F -005 V. 01
F) LEYES DE MORGAN:
G) DOBLE NEGACION:
Anexo (Razonamiento)
Las formas proposicionales que están constituidas por una o
más hipótesis o premisas por una conclusión.
Estructura
Conjunto de premisas conclusión.
GC-F -005 V. 01
q: Hay cosechas
r: Hay enfermedades
S: Hay heladas
3.- Traducimos al lenguaje formal.
H1:
H2:
H3:
H4:
C:
4.- Entonces estructuramos el razonamiento.
GC-F -005 V. 01