Regla de silogismo disyuntivo (SD), o la regla del perro de Crisipo.

De A v B y -A puedo inferir B

También: de AvB y -B puede inferir A

AvB
-A
------------
B


AvB
-B
-----------
A

Ejemplo.

1. p v (t&-s)   (Prem.)
2. -p             (Prem.)     Derivar: -s
3. t&-s    SD 1,2
4. -s       sim. 3

Ejercicio:

1. p v (q v r)   (prem.)
2. -q & -p       (prem.)   Derivar: r