MONOGRAFÍA SOBRE FORMALIZACION Y EVALUACIÓN DE ARGUMENTOS EN

LÓGICA PROPOSICIONAL

Universidad de Ciencias Empresariales y Sociales

Licenciatura en Filosofía

Asignatura: Lógica I

Docente: Lic. Oller, Carlos

Alumno: Herman, Diego

INDICE
Introducción ...............................................................................................3

Desarrollo

I. Lenguaje formal en lógica proposicional .............................................4

I.I. Vocabulario de la lógica proposicional ..........................................5

I.II. Sintaxis y semántica de la lógica proposicional ...........................6

II. Formalización y noción de valuación en la lógica proposicional .....8

III. Valuación de razonamientos en la lógica proposicional .................13

III.I. Concepto de consecuencia semántica .....................................13

III.II. El sistema deductivo natural .................... .................................14

Conclusión ................................................................................................18

Bibliografía ................................................................................................19

INTRODUCCIÓN

2
 La idea de este trabajo es presentar una descripción referida a la

formalización y evaluación de argumentos en lógica proposicional.

La lógica formal, como tal, prescinde del contenido específico de las

proposiciones, en cambio tiene en cuenta la forma y la validez / invalidez de sus

razonamientos; en este sentido la lógica formal tiene un enfoque lingüístico y no

psicológico (por ej: no se tomara en cuenta las intenciones del hablante).

Como primer objetivo le interesa aplicar los métodos matemáticos a los

argumentos, creando para esto un lenguaje artificial y formal para poder de esta

manera aludir a los temas tradicionales de esta ciencia.

Su propósito es estudiar los temas de verdad lógica, consecuencia lógica,

estableciendo un mecanismo para definirlos de manera precisa.

El presente trabajo se estructurara teniendo en cuenta, en primer lugar, a

todo lo referido al lenguaje que usa la lógica proposicional, a continuación se

expondrá las formulas que constituyen a este lenguaje y posteriormente sus

formas de valuación.

DESARROLLO

3
 I ) LENGUAJE FORMAL EN LÓGICA PROPOSICIONAL

La pretensión de la lógica proposicional es definir con exactitud la noción de

verdad lógica, y la técnica que utiliza es en primer lugar la creación de un lenguaje

artificial, este lenguaje se caracteriza por no tener la necesidad de apelar al

significado de los signos.

Para esto necesita de un vocabulario o léxico para poder delimitar los

signos que pertenecen a este lenguaje y de una sintaxis de este vocabulario que

permita a partir de este vocabulario formar oraciones gramaticales. Las reglas de

formación que más adelante se expondrán son la sintaxis de este lenguaje

El vocabulario de un lenguaje formal es lo que determina cuáles son las

expresiones básicas que contiene, y estas pueden subdividirse en tres clases

distintas: variables lógicas, constantes lógicas y los signos auxiliares, tal como

expresa Gamut 1.

Asimismo a medida que se avanza en el estudio de la validez de los

argumentos se necesita decir cosas acerca del lenguaje formal en el que se

expresan los argumentos, para decir esas cosas usamos un lenguaje, en este

caso se utiliza el español.

En lógica se denomina lenguaje objeto a un lenguaje del cual hablamos y

se denomina metalenguaje a un lenguaje con el cual se habla acerca de un

lenguaje objeto.
1
Gamut.L.T.F., Introducción a la Lógica, Buenos Aires, Eudeba, 2002, Cáp. I

4
 I.I ) VOCABULARIO DE LA LÓGICA PROPOSICIONAL

Las tres clases del vocabulario :

a) Las letras o variables proposicionales que simbolizan a las

oraciones gramaticales y que son un conjunto infinito pero identificable de

este lenguaje. Se las define con la letra p + un numero natural, de esta

manera, { p 1, p 2, p 3...} son variables proposicionales que deben dar una

respuesta inequívoca desde este lenguaje, y que, por convención, se las

simboliza con las letras p, q, r, s,..., etc., sucesivamente.

b) las conectivas o constantes lógicas que representan las

expresiones que permiten conectar las oraciones simples o atómicas y

formar oraciones complejas o moleculares y que son un conjunto finito

( cinco en total ) pero identificable desde este lenguaje.

Las conectivas son: { ,  , ,  ,  }, y representan la ”negación”,

la letra “y” de nuestro vocabulario natural , la letra “o” del mismo

vocabulario natural, el condicional, ”si...entonces...” y el bicondicional “si y

solo si” respectivamente.

c) Los signos auxiliares que permiten desambiguar las oraciones,

siendo también un conjunto finito e identificable desde este lenguaje: { ( , ) }.

5
 I.II ) SINTAXIS y SEMÁNTICA DE LA LÓGICA PROPOSICIONAL

La sintaxis en lógica proposicional se estructura a través de las

reglas de formación, estas proporcionan un criterio para el reconocimiento

de las formulas bien formadas (f.b.f.), las cuales proporcionan una

respuesta inequívoca con relación a la sintaxis de este lenguaje.

Las reglas de formación son:

1- Una variable proposicional es una formula.

2- si A y B son f.b.f. entonces: (A  B) , (A  B) , (A  B), (A 

B) son f.b.f..

3- si A es una f.b.f., entonces ( A) es una f.b.f.

4- no existen otras formulas f.b.f. que las expresadas.

Teniendo ya configurado un vocabulario y la sintaxis correspondiente a este

lenguaje el siguiente paso es establecer su semántica, es decir armar las

relaciones entre los signos y su significado.

La lógica proposicional, por ser una lógica bivalente, se interesa,

únicamente en indicar que una oración contenga valor de verdad verdadero, o

valor de verdad falso, importándole para este efecto, como las conectivas afectan

6
o modifican el valor de las oraciones unidas a estos signos, estableciendo un

criterio inequívoco para la transmisión de verdad lógica.

II ) FORMALIZACION Y NOCIÓN DE VALUACIÓN EN LA LÓGICA

PROPOSICIONAL

Para poder asignar un valor de verdad lógica en una oración, la lógica

proposicional emplea la noción de valuación, esta es una función que permite fijar

los valores de verdad verdadero, y los de verdad falso, empleando para ello

7
procedimientos mecánicos o algorítmicos. Lo único que le interesa a la semántica,

en lógica proposicional, es poder fijar estos valores los demás aspectos de ella se

abstraen.

Uno de estos procedimientos es el denominado tablas de verdad y las

pautas de estas tablas son:

1- A  A

-------------
V  F
F  V

Esta tabla indica la noción de valuación de ( A) y establece que: La valuación

( A) = V, si y solo si la Valuación (A) = F

2- A  B  AB

------------------------------------
V  V  V
F  V  F
V  F  F
F  F  F

Esta tabla indica la noción de valuación de (A  B) y establece que:

La valuación (A  B) = V, sii, la valuación (A) = valuación (B) = V
3- A  B  AB

------------------------------
V  V  V
F  V  V
V  F  V
F  F  F

Esta tabla indica la noción de valuación de (A  B) y establece que:

La valuación (A  B) = V, sii, la valuación (A) = V,

8
 ó , la valuación (B) = V

El uso formal que se le da al signo () es inclusivo.

4- A  B  AB

--------------------------------
V  V  V
F  V  V
V  F  F
F  F  V

Esta tabla indica la noción de evaluación de (A  B) y establece que: la

valuación (A  B) = V, sii, la valuación (A) = F, ó, la valuación (B) = V

5- A  B  AB

--------------------------------
V  V  V
F  V  F
V  F  F
F  F  V

Esta tabla indica la noción de valuación de (A  B) y establece que:

La valuación (A  B) = V, sii, la valuación (A) = Valuación (B).

Si después de construir las tablas de verdad de una formula se considera la

columna principal de dicha tabla, se observará que pueden darse tres grupos de

formulas, las que consten únicamente de signos V, las que consten únicamente

de signos F, y las que indistintamente contengan signos V y F.

Si la forma posee solo signos V, indica que hay verdad lógica y es una

tautología, si posee solo signos F, indica la falsedad lógica o contradicción y si

alterna los signos de verdad lógica con falsedad lógica es indicador de una

contingencia.

9
 La noción de tautología es la noción central de toda la lógica de conectores.

1- CONCEPTO DE TAUTOLOGÍA

Una formula se denomina tautología cuando es verdadera para toda

2
interpretación. A la verdad lógica en lógica proposicional se la suele llamar

tautológia, y es un conjunto decidible, es decir que existe al menos un algoritmo

que permite indicar por sí o por no si esta formula es tautológica en un numero

finito y predeterminado de pasos.

Para establecer una tautología se expone la siguiente formula:

Una fórmula A es una tautología sii, para toda valuación de verdad (A) = V

El ejemplo por medio de las tablas de verdad es el siguiente:

Enunciado: Si llueve, voy al cine, entonces si no voy al cine es porque no

llueve.

Diccionario:

Llueve: p

Voy al cine: q

Formalización:

p  q (P  q)  (  Q   p)

2
Garrido, M. , Lógica Simbólica, Madrid, Tecnos, 2001 (4ta edición), Cáp. IV.

10
 -----------------------------------------------------------------------------------------------
V  V V V V V F V V F V
F  V F V V V F V V V F
V  F V F F V V F F F V
F  F F V F V V F V V F

*
En este procedimiento la valuación del conector principal indica que hay tautología
o verdad lógica.

2- CONCEPTO DE CONTRADICCIÓN

Para establecer una contradicción se expone la siguiente formula:

Una formula (A) es una contradicción sii, para toda valuación de verdad (A) = F
El ejemplo por medio de las tablas de verdad es el siguiente:

Enunciado: llueve y no llueve:

Diccionario:
Llueve: p

Formalización:
p  p   p
---------------------------------
V  V F F V
F  F F V F
*

En este procedimiento la valuación del conector indica que hay una contradicción
o falsedad lógica.

3- CONCEPTO DE CONTINGENCIA

Para establecer una contingencia se expone la siguiente formula:

11
Una formula A es una contingencia sii, existe una valuación de verdad (A) = V Y

existe otra valuación de verdad (A) = F

El ejemplo por medio de las tablas de verdad es el siguiente:

Enunciado: Si llueve y tengo ganas voy al cine.

Diccionario:
Llueve: p
Tener ganas: q
Ir al cine: r
Formalización:
p q  r (p  q)  r
------------------- ---------------------------------------
V V V V V V V V
F V V F F V V V
V F V V F F V V
F F V F F F V V
V V F V V V F F ( * )
F V F F F V V F
V F F V F F V F
F F F F F F V F

(*) En este procedimiento la valuación del conector principal indica que se ha

encontrado una contingencia.

III ) VALUACION DE RAZONAMIENTOS EN LA LÓGICA

PROPOSICIONAL

Cuando un razonamiento es valido, la verdad de las premisas garantiza la

verdad de la conclusión, teniendo esto en cuenta, se conforma, por una parte el

concepto de consecuencia semántica, y por otra, el sistema deductivo, que esta

relacionado con el concepto de consecuencia sintáctica.

12
 III.I ) CONCEPTO DE CONSECUENCIA SEMÁNTICA

Este concepto declara que en el caso de que todas las premisas fueran

verdaderas la conclusión es necesariamente verdadera. No exige consecuencia

lógica entre las premisas, sino que, revela la transmisión de verdad entre las

premisas con verdad lógica y la conclusión.

El símbolo correspondiente que indica consecuencia semántica es: I=

Para establecer una consecuencia semántica se expone la siguiente

formula:

{ A1,........., An } I= B, sii, para toda valuación V, se da que, V (A1) = ......,

V (An) = V, entonces V (B) = V

Se expone un ejemplo de consecuencia semántica:

Desde el Modus Tollens.

Formalización: (p  q ),  q, /  p

-------------------------------------------
V V V F V F V
F V V F V V F
V F F V F F V
F V F V F V F
* * *

{( p  q ), (  q ) } I= (  p )

13
III.II ) EL SISTEMA DEDUCTIVO NATURAL

En la lógica proposicional existe un sistema que es

similar al modo en que los matemáticos razonan cuando usan las matemáticas,

este método no tiene axiomas, solo utiliza reglas de inferencia.

Se expresan un conjunto de reglas de inferencia

correctas, estas son un conjunto finito de reglas básicas intuitivas, con las cuales a

partir de ellas se pueden generar todas las demás reglas posibles e infinitas.

Estas reglas de inferencia que se detallan a

continuación, si introducen en su conclusión un conector que no aparezca en sus

premisas será una regla de introducción ( I ) de ese mismo signo, y si elimina en

su conclusión un conector que aparece en sus premisas, será una regla de

eliminación ( E ) de ese signo .

Reglas de inferencia de la conjunción:

E (AB) (AB)
------------- ------------
A B

I A
B
------------
(AB)

Reglas de inferencia de la disyunción:

E (A  B)

14
 ----------------
A B
C C (  ) símbolo de suposición
----------------
C

Dada la disyunción (A  B), si se supone que de A se sigue C y que de

B se sigue C, significa que de cualquier caso se sigue C.

I A A
---------- ----------
(AB) (BA )

Reglas de inferencia para el condicional:

E (AB)
A
---------------
B

I A
.
.
.
B
------------
(AB)

Se parte del supuesto A y si se concluye B, es por lo tanto una conclusión

hipotética (A  B).

Reglas de inferencia de la negación:

E   A
------------- (Regla de la doble negación)
A

I  A
.
.
.
(B B)

15
 -----------------
A

Se parte del supuesto A y si se llega a la contradicción (B   B)

es por lo tanto ( A) .

Para exponer un ejemplo de resolución de

argumentos por deducción formal o derivación, se expone previamente una

definición de esta: una deducción formal es una secuencia finita de formulas tales

que cada una de ellas sea (a) un supuesto inicial, o (b) un supuesto provisional, o

(c) una formula que se derive lógicamente de otra o de otras anteriores por

inferencia inmediata 3.

Es decir, es un conjunto ordenado y los tres grupos

de líneas de derivación son, los supuestos o las premisas iniciales, las líneas que

proceden de otras líneas anteriores por aplicación de una regla de inferencia, y las

líneas que se introducen provisionalmente en el curso de la prueba y que deberán

ser canceladas antes de establecer la conclusión.

Una consecuencia sintáctica también debe ser

consecuencia semántica y viceversa.

Se la puede expresar con la siguiente formula

metalingüística:

A1,...An, I= B, sii, A1,...An, I- B (I- símbolo de consecuencia Sintáctica).

3
Garrido. M., Lógica Simbólica, Madrid, Tecnos, 2001(4ta edición), Cáp. V

16
Ejemplo de consecuencia sintáctica:
Desde la regla de transitividad del condicional, suponemos que se quiere probar :
AB
BC
--------
AC

Se empieza con las premisas:

1- (A  B) premisa
2- (B  C) “”
3-  A supongo A
4- B de 1, 3 x E
5- C de 2, 4 x E
6- (A  C) conclusión de 3- 4- 5 x I 

Suponiendo A se intenta llegar a C y si se logra, significa que (A  C)

La formula queda explicita de esta forma:

(A  B), (B  C ) / (A  C)

CONCLUSIÓN

Este trabajo tuvo el intento de expresar de manera resumida, los objetivos y

los métodos empleados en lógica proposicional, desde el lenguaje utilizado, su

formalización, las nociones de valuación que esgrime, uno de los tipos de

procedimientos mecánicos utilizados para poder asignar valores de verdad y los

conceptos de consecuencia semántica y consecuencia sintáctica.

17
 BIBLIOGRAFÍA

Copi, I. M., Introducción a la Lógica, Buenos Aires., Eudeba, 1999.

Garrido, M., Lógica Simbólica, Madrid, Ediciones Cátedra, 1982.

Gamut, L.,T., Introducción a la Lógica, Buenos Aires, Eudeba, 2002.

18
19