Reglas de inferencia lógica. Compilación

REGLAS DE INFERENCIA LÓGICA

1 MODUS PONENDO PONENS (MPP)

QC

PP

QPP

: 

: 

: 

2

1

2 MODUS TOLLENDO TOLLENS

(MTT)

PC

QP

QPP

: ~

: ~

: 

2

1

3 SILOGISMO HIPOTÉTICO (SH)

RPC

RQP

QPP

: 

: 

: 

2

1

4 MODUS TOLLENDO PONENS (MTP)

/ SILOGISMO DISYUNTIVO

QC

PP

QPP

: 

: ~

: 

2

1

PC

QP

QPP

: 

: ~

: 

2

1

5 SIMPLIFICACIÓN CONJUNTIVA

QC

PC

QPP

: 

: 

*: 

1

1

1

6 LEY DE ADICIÓN (LA)

QPC

PP

: 

: 

1

1

7 ADJUNCION

QPC

QP

PP

*: 

: 

: 

1

2

1

8 DILEMA CONSTRUCTIVO (DC)

SQC

RPP

SRP

QPP

:

:

: 

: 

1

3

2

1

9 DILEMA DESTRUCTIVO (DD)

RPC

SQP

SRP

QPP

:

:

: 

: 

1

3

2

1

10 CONTRADICCIÓN

PC

CPP

:

: 

1

1

11 DOBLE NEGACIÓN (DN)

PC

PP

: ~~

: 

1

1 ó

PC

PP

: 

: ~~

1

1

12 DEMOSTRACIÓN CONDICIONAL

RC

RQPP

QPP

:

)(: 

*:

1

2

1

13 DEMOSTRACIÓN POR CASOS

)*(: 

: 

: 

:

:

: 

: 

): (

: 

: 

1

2

1

1

3

2

1

1

2

1

QRPC

QPP

RPP

RC

QPP

RQP

RPP

RQPC

RQP

RPP

14 REGLA DE RESOLUCIÓN

RQC

RPP

QPP

: 

: 

: 

2

1

LEY DEL ALGEBRA PARA

LA LÓGICA 1.- LEY DE IDEMPOTENCIA

PQP

PQP

 *

2.- LEY CONMUTATIVA (LC)

PQQP

PQQP

* *

3.- LEY ASOCIATIVA (LA)

RQPRQP

RQPRQP

** **

4.- LEY DISTRIBUTIVA

)*(* * 

)(* *

RPQPRQP

RPQPRQP

5.- LEY DE D’ MORGAN (LM)

QPQP

QPQP

~ ~)*(~

~* ~)(~

6.- LEY DE IDENTIDAD

PVP

PFP

FFP

VVP

 /*

 /

 //*

/ /

7.- DEFINICIONES ACEPTADAS

)~* (~

)*(~)* (

~ )(*) (

~ ~ ~

QPQP

QPQPQP

QPPQQPQP

PQQPQP

8.- LEY DE ABSORCIÓN

PQPP

PQPP

 *

 *

9.- Ley de Complemento

FPP

VPP

VF

FV

PP

 /~*

/ ~

//~

//~

 ~~

COMPILACIÓN: JORGE PINCAY PONCE