Click here to load reader
Upload
jorge-ivan-pincay-ponce
View
305
Download
2
Embed Size (px)
Citation preview
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