MODUS PONENS[MP]

Este modelo vlido de razonamiento tiene la forma siguiente:

si P entonces Q P -------------por lo tanto : Q

Un Ejemplo no simbolizado:

Si cuatro es parejo, entonces es divisible por dos. Cuatro es parejo. ----------------------------------------------------Por lo tanto es divisible por dos,

Formalizacin:

Reemplace proposiciones del lenguaje natural por variables:

E= Cuatro es parejo. T = es divisible por dos.

Reemplace "si ...entonces.. ." con el smbolo para la implicacin: >

E>T E --------T

Otros ejemplos simbolizados:

(F = ~w) > D (F > ~W ----------------D

K > ~A (K > ~A) > C -----------------C

MODUS TOLLENS[MT]

Este modelo vlido de razonamiento tiene la forma siguiente:

si P entonces Q no Q ---------Por lo tanto, no P

Reemplazando: Si...entonces... con el smbolo para la implicacin: > no ... con el smbolo para la negacin: ~

P>Q ~Q --------~P

Un ejemplo no simbolizado:

1. Si usted estudi lgica, entonces usted sabra las reglas de inferencia. 2. Usted no sabe las reglas de inferencia. ____________________

3. Por lo tanto, usted no estudi lgica.

Regla:Si la proposicin corta (2 arriba),contradice el consiguiente de la declaracin condicional (1 arriba), entonces usted puede inferir el antecedente de la declaracin condicional (1 arriba).Por lo tanto 3 arriba.

Otros Ejemplos Simbolizados:

K > ~(C = B) (C = B) -----------~k

~R (M + O) > R ------------~(M + O)

SILOGISMO HIPOTTICO[HS]

Este modelo vlido de razonamiento tiene la forma siguiente:

si A entonces B si B entonces C -------------------------------------------------Por lo tanto, A entonces C

Reemplazar 'si...entonces...' con el smbolo para la implicacin: '>'

A>B B>C .......... A>C

Un ejemplo no simblizado:

1. Si los impuestos suben, entonces nuestro presupuesto sufre. 2. Si nuestro presupuesto sufre, entonces nuestra economa se resiente. ------------------- ------------------ ------------Por lo tanto: Si los impuestos suben, entonces nuestra economa se resiente.

Regla:si el consiguiente de una de las premisas es el antecedente de la otra premisa (como en 1 y 2 arriba), entonces usted puede inferir una implicacin donde el antecedente es el antecedente de la premisa primera (1 arriba) y el consiguiente

es el consiguiente de la segunda premisa (2 arriba).

Ejemplos del Syllogismo Hipottico:

~A > ~K ~K > C -------~A > C

~(P . R) > K ~D > ~(P . R) -------------K > ~D

TOLLENDO PONENS[SD](o Silogismo Disyuntivo)

Este modelo vlido del razonamiento tiene la forma siguiente:

OPoQ no P -----------Q

Reemplazando: O...o... con el smbolo para la disyuncin: + No... con el smbolo para la negacin: ~

P+Q ~P -------

Un ejemplo no simbolizado:

1. O usted es un demcrata o usted es un republicano. 2. Usted no es un demcrata. ------------------- -------------------- -------------Usted es un republicano.

Regla: Si usted tiene una proposicin corta (2 arriba) que contradice uno de los miembros de una proposicin disyuntiva (1 arriba) entonces el otro miembro de la disyuncin (de 1 de arriba) puede ser inferida validamente.

Ejemplos del Syllogismo Disyuntivo:

~K + (R = ~M) K ------------(R = ~M)

(B > ~A) ~(B > ~A) + [L . (K > P)] ------------------ ----L . (K > P)

INTRODUCCIN DEL DISYUNTOR[ADD](o Adicin)

Este modelo vlido del razonamiento tiene la forma siguiente:

A ------- -------------------------de aqu en adelante A o B

Reemplazar 'o' con el smbolo para la disyuncin; '+'

A -----A+B

Un ejemplo no simbolizado:

1. Dos es parejo. -------------------------------------------------2. O dos es parejo o dos es impar.

Regla:A cualquier proposicin cierta (1 arriba) usted puede agregar con una 'o' cualquier propuesta que usted quiera (2 arriba).La proposicin que usted agrega puede ser o cierta o falsa.

Ejemplo de Disyuncin:

~(P > J) --------~(P > J) + (Y + X)

ELIMINACIN DEL CONJUNTOR[SIMP](o Simplificacin)

Este modelo vlido del razonamiento tiene la forma siguiente:

AyB ------A

Reemplazar 'y ' con el smbolo para la conjuncin: '.'

A. B ----A

Un ejemplo no simbolizado:

1. Dos es parejo y tres es impar. ------------------- ------------2. Dos es parejo.

Regla:Dada una proposicin conjuntiva (1 arriba) usted puede validamente inferir cualquiera de sus miembros(2 arriba).

Ejemplos de Simplificacin:

(P > N) . (H + K) ----------------(P > N)

R . [(H + K) > B]

---------------R

INTRODUCCIN DEL CONJUNTOR[CONJ](o Conjuncin)

Este modelo tiene el siguiente vlidez formal:

A B ---------AyB

Reemplazar 'y' con el smbolo para la conjuncin: '.'

A B -----A.B

Un ejemplo no simbolizado:

1. Dos es parejo. 2. Tres es impar. ------------------- -------------------- -3. Dos es parejo y tres es impar.

Regla:Si usted se encuentra con un un par de proposiciones (1 y 2 arriba), puede inferir siempre la conjuncin del par (3 arriba).

Ejemplos simbolizados:

~A ~(O > M) --------~A . ~(O > M)

[Un + (Yo > C)] (X + Z) -------------[Un + (Yo > C)] . (X + Z)

EL DILEMA CONSTRUCTIVO[CD]

El modelo vlido del razonamiento tiene la forma siguiente:

AoB si A entonces C, y si B entonces D ------------------- --------CoD

Reemplazando: O...o... con el smbolo lgico para la disyuncin: + Si...entonces...con el smbolo lgico para la implicacin: > ... y ... con el smbolo para la conjuncin: .

A+B

(A > C) . (B > D) -------------------------C+D

Un ejemplo no simbolizado:

(1) o es oro verdadero o es oro de tontos. (2) Si es oro verdadero entonces yo soy rico y si es oro de tontos entonces yo he sido engaado. ------------------- -------------------- -------------------- -(3)O yo soy rico o yo he sido engaado.

Regla: Si los miembros de la disjuncin de la premisa disyuntiva (1 arriba) son los antecedentes de las dos condicionales (2 arriba), entonces uno puede inferir los consiguientes de las proposiciones condicionales como un disjuncin(3 arriba.)

Ejemplo de Dilema Constructivo:

[(P . Q) > ~X] . [(S . T) > ~Y] (P . Q) + (S . T) -------------------------~X + ~Y

LEYES DE MORGAN[DM]

~(P . Q) = (~P + ~Q) ~(P + Q) = (~P . ~Q)

En la parte de arriba puede verse la DM aplicada desde una conjuncin negada ~(P.Q), a una disyuncin negada en sus miembros (~P+~Q) ,y desde una disyuncin negada ~(P+Q), a una conjuncin negada en sus miembros(~P.~Q).

Los componentes a los lados del '=' son equivalentes y por lo tanto intercambiables.

Ejemplos:

Desde el izquierdo al derecho, cualquier conjuncin negada puede ser reemplazada por una disjuncin; y desde el lado derecho al izquierdo cualquier disyuncin puede ser reemplazada por una conjuncin negada:

Negado conj. Disjuncts ------------- -------~(~A.B) ~(C. ~K) = (A + ~B) = (~C + K)

~[~(T > S).Z] = [(T > S) + ~Z]

Desde la izquierda a la derecha ,cualquier disyuncin negada puede ser reemplazado por una conjuncin,y desde la derecha a la izquierda cualquier conjuncin puede ser reemplazada por una disyuncin negada.

Disj Negado. La Conjuncin ------------ -----------~(K + ~S) = (~K . S) ~(~B + ~R) = (B . R) ~[(P . El o) + X] = [~(P . O) . ~X]

Consejo: Note como las negaciones cambian cuando usted mueve desde un lado de la ecuacin al otro.Como con todo reemplazo, la Regla del DM puede aplicarse a cualquier componente de una proposicin.

Ejemplo:

[~(O . P) > Y] = [(~O + ~P) > Y]

COMMUTACIN[Com]

(A.B) = (B.A) (A+B) = (B+A)

La conmutacin se aplica a cualquier proposicin que sea o una conjuncin o una disyuncin.

Los componentes situados al lado del '=' son equivalentes y por lo tanto intercambiables.

Ejemplos:

(~P . ~E) = (~E . ~P) [(M > B) + Z] = [Z + (M > B)]

Usted puede aplicar esta regla al componente de la proposicin siguiente:.

[(A + B) > (N . M)] = [(B + A) > (N . M)]

La conmutacin tiene un anlogo en la aritmtica:

(2 + 3) = (3 + 2)

DOBLE NEGACIN[DN]

P=~~P

La doble negacin se aplica a cualquier proposicin. Las proposiciones situadas sobre el lado del '=' son intercambiables.

Aqu la lgica concuerda con el adagio familiar: dos negativas hacen un positiva. Esta regla lgica tambin tiene un anlogo aritmtico:

2 = -(- 2) x = -(- x)

Ejemplos:

(A + ~V) + ~~(A + ~V) [A + (U > N)] = [A + (~~U > N)]

DEFINICIN DEL IMPLICADOR[Impl](en trminos de una disyuncin)

(A >B) = (~A + B)

La implicacin nicamente se aplica a implicaciones y disyunciones. Esta regla le permite usted convertir un ' si entonces ' al 'o' y viceversa.

Las proposiciones situadas al lado del '=' son intercambiables.

Ejemplos:

(~S > L) = (S + L) (El d + ~W) = (~D > ~W) [~(G + L) > J] = [(G + L) + J]

Como con todas las reglas de reemplazo, la Implicacin puede aplicarse a l componente de la izquierda o al componente de la derecha de la proposicin.

[P + (F > G)] = [P + (~F + G)]

Tutorial

TAUTOLOGA[Taut]

A = (A.A) B = (B + B) Las proposiciones situadas al lado del `=` son intercambiables. Regla: Cualquier proposicin es equivalente a la conjuncin de s mismo y viceversa: Ejemplos: ~K = (~K . ~K) (A + B) = [(A+ B) . (A + B)] Regla: Cualquier propuesta es equivalente a la disyuncin de s mismo y viceversa: Ejemplo: ~Z = (~Z + ~Z) La regla de la Tautologa puede aplicarse a un componente concreto de una proposicin. (P > O) = [P > (O + O

LEY ASOCIACIATIVA DE LA CONJUNCIN Y DE LA DISYUNCIN[Assoc]

[A + (B + C)] = [(A + B) + C] [A. (B . C)] = [(A. B) . C]

La Asociacin se aplica a cualquier proposicin en donde las conectivas lgicas son o las conjunciones o disyunciones.

Los componentes situados a los lados del '=' son equivalentes y por lo tanto sonintercambiables.

Ejemplos:

[~K + (C + ~M)] = [(~K + C) + ~M] [(A > B) . (S . X)] = [(A > B) . S] . X

Usted puede aplicar la regla de asociacin al componente de una proposicin, como la siguiente:

A > [(C + (M + N)] = A > [(C + M) + N]

LEY DISTRIBUTIVA DE LA CONJUNCIN Y DE LA DISYUNCIN [Dist]

(a) A + (B . C) = [(A + B) . (A + C)] (b) A. (B + C) = [(A. B) + (A. C)]

En el ejemplo (a) usted puede ver que la Distribucin se aplica a una disyuncin cuyo componente derecho es una conjuncin; y en el ejemplo (b) usted ve que la distribucin se aplica a una conjuncin cuyo componente derecho es un disyuncin.

Las proposiciones situadas sobre o lado de la '=' son intercambiables. La distribucin tambin se aplica: (a) arriba: una conjuncin cuyos componentes en el lado derecho e izquierdo son las disyunciones. ( b) arriba: una disyuncin cuyos componentes derecho e izquierdo son las conjunciones.

Ejemplos:

[(~B + C) . (~B + D)] = [~B + (C. D)]

Anote: La disyuncin a la izquierda del '=' debe tener un trmino en comn. En este caso: ~B

[(P . O) + (R . S)] = [(P . O) + R] . [(P . O) + S]

Anote:pasando de la izquierda a la derecha,(P.O)se distribuye en (R.S)

LEY DE LA CONTRAPOSICIN[Trans]

(A > B) = (~B > ~A)

La transposicin se aplica unicamente a implicaciones. Las proposiciones situadas al lado del '=' son intercambiables.

Ejemplos:

(~X > K) = (~K > X) [K > (C > S)] = [~(C > S) > ~K]

En el reemplazo la regla nos dice que la Transposicin puede aplicarse al componente de la izquierda o al componente de la derecha de la proposicin..

[~(R > D) . Y] = [~(~D > ~R) . Y]

EQUIVALENCIA MATERIAL [Equiv]

(A = B) = [(A > B) . (B > A)] (A = B) = [(A. B) + (~A . ~B)]

Las proposiciones situadas al lado del '=' son intercambiables.