Silogismo Disyuntivo, ley del

Silogismo Disyuntivo, ley del (SD). Dado el caso que una fórmula u oración [v] disyuntiva es verdadera cuando al menos uno de los disyuntos lo es, si uno de los disyuntos es falsa, el otro necesariamente deberá ser verdadero:

    1) p v q         1) p v q          1) (p v r) v (s --> d)

    2) -p              2) -q               2) -(s --> d)

    \\ q                \\ p                \\ (p v r)