• Author / Uploaded
• jorge valdez

• Categories
• Expresiones lógicas
• Consecuencia Lógica
• Metalogica
• Razonamiento deductivo
• Sintaxis (Lógica)

Citation preview

LEYES LÓGICAS 1. LEYES DE IDEMPOTENCIA

:

p p p p p p

2. LEYES CONMUTATIVAS

:

pqq p

pqq p 3. LEYES ASOCIATIVAS

:

 p  q  r 

p  q  r 

 p  q  r  p  q  r  4. LEYES DE NEGACIÓN

:

(p )≡ p p p ≡F p  p≡V

5. LEYES DE IDENTIDAD

:

p V  p pF  p

6. LEYES DE MORGAN

:

(p  q) ≡  p  q (p q) ≡  p   q

7. DEFINICIÓN DE IMPLICACIÓN

:

8. LEYES DISTRIBUTIVAS

:

p  q ≡  p q

p  q  r    p  q    p  r  p  q  r    p  q    p  r 

9. LEYES DE ABSORCIÓN

:

p   p  q  p p   p  q  p pF F p V V

10. DEFINICIÓN DE DOBLE IMPLICACIÓN

:

p  q   p  q   q  p 

11. EQUIVALENCIA LÒGICA

:

p  q    p  q

1.

LEYES DE IDEMPOTENCIA

:

A A A

2.

LEYES CONMUTATIVAS

:

A B  B  A

;

A A A

A B  B  A 3.

LEYES ASOCIATIVAS

:

A  B  C    A  B  C A  B  C    A  B  C

4.

LEYES DISTRIBUTIVAS

:

A  B  C    A  B   A  C  A  B  C    A  B   A  C 

5.

LEYES DE ABSORCIÓN

:

A  A  C   A A  A  C   A AU U

A    6.

LEYES DE MORGAN

:

 A  B C

 AC  B C

 A  B C

 AC  B C

7.

LEYES DE IDENTIDAD

:

A   A

8.

DEFINICIÓN DE DIFERENCIA

:

A  B  A  BC

9.

LEYES DE COMPLEMENTO

:

A  C

C

A

UC  C  U

A  AC  U A  AC  

;

AU  A

1.

MODUS PONENDO PONENS ( PP )

2.

MODUS TOLLENDO TOLLENS ( TT )

pq q  p

pq p q 3.

MODUS TOLLENDO PONENS ( TP )

a)

4.

pq  p q

pq p

LEY DE CONJUNCIÓN ( LC )

6.

p q pq 7.

LEY DEL SILOGISMO HIPOTÉTICO ( SH )

pq qr pr 9.

pq q p

b)

pq q

LEY DE SIMPLIFICACIÓN ( LS )

a) 5.

b)

DILEMA DESTRUCTIVO ( DD )

pq rt  q  t  p  r

LEY DE ADICIÓN ( LA )

p p A 8.

DILEMA CONSTRUCTIVO ( DC )

pq rt pr qt