CONECTIVAS

Negador (): no. Disyuntor incluyente (V): o.

p q pvq
p q
1 1 1
1 0 1 0 1
0 1 0 1 1
0 0 0
Conjuntor (): y.

p q pq
1 1 1
Implicacin o condicional (): si.
1 0 0
0 1 0 p q pq
0 0 0 1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional o doble implicacin (): si y solo si.

p q pq
1 1 1
1 0 0
0 1 0
0 0 1

ESQUEMA DE LAS REGLAS DE INFERENCIA LGICA

1. Doble negacin (DN).

1. p
p DN (1)
2. Simplificacin (Simpl.).

1. p q 1. p q
p Simpl. (1) q Simpl. (1)

1. (p q) r
p Simpl. (1)

1. (p q) (r v s) 1. (p q) (r v s)
pq Simpl. (1) rvs Simpl. (1)

3. Adicin (Adi.)

1. p
2. q
pq Adi. (1 y 2)

1. p v q 1. p v q
2. r 2. R
pr Adi. (1 y 2) (p v q) r Adi. (1 y 2)
4. Modus ponendo ponens (PP).

1. p q
2. p
q PP (1 y 2)

1. p q

2. p
q PP (1 y 2)

5. Modus tollendo tollens (TT).

1. p q 1. p q
2. q 2. q
p TT (1 y 2) p TT (1 y 2)

1. p q

2. q
p TT (1 y 2)

6. Silogismo deductivo (SD).

1. p q
2. q r
p r SD (1 y 2)

7. Modus tollendo ponens (TP).

1. p v q
2. p
q TP (1 y 2)

8. Conmutacin (C).

1. p q
q p C (1)

1. p v q
q v p C (1)