LÓGICA SIMBÓLICA

13/04/23JC González 1

SIMBOLIC LOGIC

Teacher JC

Copyright 1996-99 © Dale Carnegie & Associates, Inc.


Introducción - Justificación

• El lenguaje ordinario se presta con frecuencia a malentendidos.

• Se decidió crear un lenguaje suficientemente más preciso y universal.

• Lenguaje compuesto por signos.

• Meta: alcanzar mayor rigor y claridad.


Lenguaje Simbólico.

• Utilizar un lenguaje claro para exponer un argumento.

• Utilizar pruebas verbales y visuales para respaldar el argumento.

• George Boole – 1847 – realiza primera aplicación del álgebra a la lógica.


Ejemplificación.

Razonamiento en la lógica clásica.

• Si Juan es honrado, es veraz.

• Juan es honrado.

• Luego Juan es veraz.

Forma de razonamiento en lógica simbólica:

p q

p

- - - - - - - - -

Entonces q


La Proposición Y Sus Clases.

• Atómicas o moleculares.

• Atómica no contiene dentro de sí otra proposición: Andrés es alto.

• Moleculares incluyen dentro de sí otra proposición: ana ríe y pablo juega.


Las Proposiciones Moleculares.

• Copulativas: conector Y.

• Disyuntivas: conector O.

• Condicionales: solo se da una proposición si se da la otra: si... Entonces.

• Bicondicionales: si y solo si.

• Negación: ¬.

(N.B. Se la considera compuesta aunque no se relacionen dos atómicas).


Símbolos en Lógica Proposicional.

• Negador: “¬” ¬p (no p).

• Conjuntor: “^” p ^ q (p y q).

• Disyuntor: “v” p v q (p o q) .

• Condicionador: “” p q.

(P entonces q).

• Bicondicionador: p q.

(P si y solo si q).


Leyes De Verdad De Los Conectores

• Ley del negador.

• Ley del Conjuntor.

• Ley del disyuntor.

• Ley del Condicionador.

• Ley del Bicondicionador.


Ley Del Negador ¬.

• Si una proposición es verdadera, su negación es falsa, y cuando es falsa, su negación es verdadera.


Ley Del Negador ¬.

p ¬ p

V F

F V


Ley Del Negador ¬.

Si es verdad que ana ríe, no puede ser simultáneamente verdad que ana no ríe.

No es el caso que ana no ríe, entonces ana ríe.


Ley Del Conjuntor ^.

• La conjunción es verdadera sólo cuando cada una de las proposiciones simples que la componen son verdaderas. En cualquier otro caso siempre es falsa.


Ley Del Conjuntor ^.

p q (p^q)

V V V

V F F

F V F

F F F


p q R (p^q) ^ rV V V VV V F FV F V FV F F FF V V FF V F FF F V FF F F F


Ley Del Conjuntor

• La proposición ana ríe y pasea solo es verdadera si es verdad que ana ríe y también es verdad que ana pasea.


Ley Del Disyuntor v.

• La disyunción solo es falsa cuando todos sus componentes son falsas. En cualquier otro caso, es siempre verdadera.


Ley Del Disyuntor v

p q (p v q)

V V V

V F V

F V V

F F F


Ley Del Condicionador .

• La proposición condicional sólo es falsa cuando el antecedente es verdadero y el consecuente falso.



p q (p q)

V V V

V F F

F V V

F F F



• p q es falsa si p es verdadera y q es falsa. En todos los demás casos es verdadera. Por eso se afirma que el condicionador introduce una condición suficiente, pero no necesaria.



Ejemplo

• Si estudias, apruebas sólo es falsa cuando realmente has estudiado y, sin embargo, no apruebas. En todos los demás casos (Si apruebas sin estudiar, si apruebas estudiando, si pierdes el año sin estudiar) la expresión es verdadera.


Ley Del Bicondicionador .

• La proposición bicondicional sólo es verdadera cuando ambos componentes son verdaderos o ambos son falsos.



p q p q

V V V

V F F

F V F

F F V



• La proposición hay una docena si y sólo si hay doce unidades es verdadera. También es verdadera la proposición no hay una docena si y sólo si no hay doce unidades.


Calculo De Argumento

• Por consistencia de las premisas por los diagramas de verdad.

• Por tablas de verdad.


Por Consistencia De Las Premisas Por Los Diagramas De Verdad.

• Un argumento es consistente si y sólo si es posible dar valores de verdad o falsedad a las proposiciones simples que integran las premisas.



Pasos:

• Se escriben las fórmulas de cada premisa.

• Se mira su correspondiente valor de verdad.



• Se escribe debajo de cada proposición atómica el valor de verdad que convenga para que el juntor principal resulte verdadero.



• A continuación se calcula el valor del juntos (o juntores de cada premisa por orden de menor a mayor importancia) y se coloca más abajo, entre las proposiciones atómicas (o los juntores) de forma que domine el juntor en cuestión.



Si los juntores principales resultan todos verdaderos, el argumento es consistente.



Si las premisas no resultan todas verdaderas, hay que volver a atribuir distintos valores de verdad a las proposiciones atómicas hasta que todas las premisas resulten verdaderas.



Pero, si nunca salen todas las premisas verdaderas, entonces el argumento es inconsistente.


Cálculo De Consistencia.

Ejemplo...

CALCULO DE CONSISTENCIA.doc


Prueba De Invalidez.

Ejemplo...

EJEMPLO DE PRUEBA DE INVALIDEZ.

doc


Por Tablas De Verdad

Un argumento es válido cuando la conclusión se

deriva necesariamente de las premisas.

Education

LÓGICA SIMBÓLICA