ESCRIBA LOS ENUNCIADOS DE 5 PREPOSICIONES

 Me levanté de la cama a las ocho de la mañana.

 La farmacia queda a tres cuadras.
 Dejé mis cuadernos sobre el sillón.
 Las copas de vino están sobre la mesa.
 Corrí apresurado hacia la calle pero no logré divisarte.

ESCRIBA UNA EXPLICACION CON SUS PROPIAS PALABRAS DE LO QUE

ENTIENDE POR TABLA DE VERDA

Es una tabla que muestra el valor de verdad de una proposición compuesta,

para cada combinación de verdad que se pueda asignar.

EXPLIQUE DETALLADAMENTE DE QUE SE TRATA CADA UNA DE LAS

LEYES DE ALGEBRA PREPOSICIONAL

Son equivalencias lógicas que se pueden demostrar con el desarrollo de las

tablas de verdad del bicondicional. De los múltiples usos del lenguaje, los que
interesan a la lógica son aquellos que cumplen una función informativa, esto es,
cuando se lo utiliza para suministrar información mediante oraciones declarativas
o para presentar argumentos.

En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son

proposiciones que pueden
asumir cualquier valor de verdad; mientras que V es una proposición verdadera
y F es una proposición falsa.
olución o doble negación: ~( ~ p ) ⇔ p
2. Idempotencia:

• De la conjunción:
p∧p ⇔ p

• De la disyunción:
p∨p ⇔ p
3. Elemento neutro:

• De la conjunción: p ∧ V ⇔ p

• De la disyunción:
p∨ F⇔ p
Condición de tautología: p∨V ⇔ V
Condición de antitautología: p∧F ⇔ F

Negación de tautología: ~V ⇔ F
Negación de antitautología: ~F ⇔ V
Condiciones de negación:

• De la conjunción: (p∧~p) ⇔ F

• De la disyunción: ( p ∨ ~ p ) ⇔ V
9. Conmutatividad:

• De la conjunción: p∧q ⇔ q∧p

• De la disyunción: p∨q ⇔ q∨p

10. Asociatividad:
• De la conjunción: ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r )

• De la disyunción: (p∨q)∨r ⇔ p∨(q∨r)

Distributividad:

• De la conjunción respecto a la disyunción: ( p ∨ q ) ∧ r ⇔ ( p ∧ r ) ∨ ( q ∧ r )

• De la disyunción respecto a la conjunción: ( p ∧ q ) ∨ r ⇔ ( p ∨ r ) ∧ ( q ∨ r )
Leyes de absorción:

• De la conjunción respecto a la disyunción: p ∧ ( p ∨ q ) ⇔ p

• De la disyunción respecto a la conjunción: p ∨ ( p ∧ q ) ⇔ p
Definición de implicación: p → q ⇔ ~ p ∨ q
Definición de equivalencia: p ↔ q ⇔ ( p → q ) ∧ ( q → p )
Leyes de De Morgan:

• Negación de la conjunción: ~ ( p ∧ q ) ⇔ ~ p ∨ ~ q
• Negación de la disyunción: ~ ( p ∨ q ) ⇔ ~ p ∧ ~ q