REGLAS DE INFERENCIA en la LGICA DE ENUNCIADOS

Implicacin

Bsicas

II

Conjuncin

IC

A
...
B

Disyuncin

ID

A
...
B

IN

Equivalencia

IE

Av B

A B
BA

A B

BA

A B

A B

A B

BA

EI

EC
A B
A

AB

AB

ED
AvB

EDN
A
...
C
B
...
C

Identidad

A B
BA

A
...
B B

______

AB

AB

Negacin

EE

Derivadas DfI

A B
(A B)

AB
A v B

MT

TrI

DfC
AB
(A B)

A B
B
A

ConmC

A B
B C
A C

DistC

Cp

AB
(A v B)

DfD

ConmD
AB
BA

IdemD
AA
A

Av A
A

A (B C)
B (A C)

AbsC

A (A v B)
A

AbsD

A v (A B)
A

Imp

A (B C)
(A B) C

DMC

(A B)
A v B

DMD

(A v B)
A B

Exp

(A B) C
A (B C)

IA

AvB
A
B

Dilema

AvB
A C
BC
C

A
B A

NI

(A B)
A B

Av B
B
A

AB
A
B

EE2

AB
B
A

EE3

AB
A
B

EE4

AB
B
A

A v (B C)
(Av B) (Av C)

Mut

Cpr

A
A

AA
B

DistD

IdemC

EE1

IDN

ECQ
Av B
BvA

A (B v C)
(A B) v (A C)

A B
B A

AvB
(A B)

AvB
A B

Id
A
A