Resumen De Reglas Y Leyes

  • Uploaded by: Silvio
  • 0
  • 0
  • July 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Resumen De Reglas Y Leyes as PDF for free.

More details

  • Words: 369
  • Pages: 4
Resumen de Reglas y Leyes. El siguiente artículo resume las principales leyes y reglas que hemos conocido y que utilizaremos en los ejercicios posteriores, así como en los puntos a tratar proximamente. Es importante que estás reglas sean entendidas y que sean internalizadas a fin de que se conviertan en autenticas herramientas para la resolución de problemas inherentes, no solo a la materia, sino a situaciones posteriores. Signos y símbolos del cálculo proposicional •

Letras latinas p , q, r,...



Signos específicos: ¬ (negación), (disyunción) ∧ (conjunción), ⇒ (condicional) , ∨ (disyunción exclusiva) etc.



Signos de puntuación: (, ) (paréntesis).

Reglas formativas. Si P designa una fórmula, entonces ¬ (P) designa también una fórmula. Si P , Q designan fórmulas, entonces (P) (Q) designa también una fórmula.

Reglas de inferencia. Son reglas que nos sirven para probar que a partir de unas premisas dadas es posible hacer la demostración para una conclusión específica. Su objetivo es abreviar las demostraciones. A continuación destacamos las reglas de mayor utilización en las demostraciones matemáticas: Silogismo hipotético o Transitividad en la implicación

Conjunción o Inferencia conjuntiva

Simplificación en la conjunción

Modus Ponendo ponens P⇒Q P Pr emisas ___________ Q Conclusión

Modus tollendo tollens

Modus tollendo ponens

Silogismo disyuntivo

El caso particular nos recuerda, como ven, la Simplificación Disyuntiva. Ley de la adición o Adjunción

Ley Conmutativa P y Q si y solo si Q y P

(P ∧ Q ⇔ Q ∧ P)

P ó Q si y solo si Q ó P

( P ∨ Q ⇔ Q ∨ P)

Equivalencias Fundamentales A fin de facilitar la identificación de las equivalencias básicas en el cálculo de proposiciones y propiciar su empleo en las demostraciones, presentamos este resumen.

Idempotencia

3. P y Q si y solo si Q y P P ó Q si y solo si Q ó P

(P ∧ Q ⇔ Q ∧ P) ( P ∨ Q ⇔ Q ∨ P) Leyes Conmutativas

Y por supuesto las consecuencias estudiadas.

8.

no no P equivale a P

( ¬¬P ≡ P)

Doble negación

Como ven son los mismos que hemos venido estudiando y que vamos a utilizar próximamente, por lo que es bueno que lo tengan como guía.

Related Documents


More Documents from ""