Economia

Trabajo practico N° 2 Lógica

Demostración de las principales leyes lógicas (tautologías usuales)
Se denomina tautología cuando al resultado son todas verdaderas o 1
Sedenomina contradicción cuanto el resultado son todas falsas o 0
Se denomina contingencia cuando el resultado algunas son verdaderas o 1 y otras falsas o 0

Enunciamos las leyes lógicasmás usuales, todas las cuales se demuestran por el método de las tablas de valores de verdad.
Recordemos que para demostrar que un razonamiento es válido existen tres formas, unaes mediante las tablas de verdad-falso (o de 0-1), otra forma es mediante arboles semánticos y una tercera mediante la refutación.

Poner al menos dos ejemplos de oraciones realesen cada ejercicio, en la medida de lo posible que sean matemáticas, económicas, financieras, administrativas, contables.

Hacerlas en Word o Excel u otro software disponible

1.Ley de identidad: p  p

2. Ley de involución: -(-p)  p

3. Leyes de asociatividad: a) De la conjunción: (pq)r  p(qr)
b) De la disyunción: (pq)r  pq(r)

4.Leyes de conmutatividad: a) De la conjunción: pq  qp
b) De la disyunción: pq  qp

5. Leyes de distributividad: a) De la conjunción respecto de la disyunción:
(pq)r (pr)(qr)
b) De la disyunción respecto de la conjunción:
(pq)r  (pr)(qr)

6. Leyes idempotentes (o de idempotencia): a) De la conjunción: (pp)  p
b) De la disyunción:(pp)  p

7. Ley de absorción: p(qp)  p(qp)  p

8. Leyes de De Morgan: a) Negación de la conjunción: - (pq)  -p  -q
b) Negación de la disyunción: - (pq)  -p  -q9. Ley de contrarrecíprocos: (pq)  (-q  -p)

10. Ley de silogismo hipotético: [(pq)  (qr)]  (pr)

11. Ley de reducción de la implicación: ( p  q)  (-p  q )