Documente Academic
Documente Profesional
Documente Cultură
Tema V
Lgica simblica.
A medida que se avanza en el estudio de la lgica comienza a hacerse absolutamente
indispensable la aplicacin de un lenguaje formal y de mtodos legibles, sintticos e
inequvocos para la verificacin de la validez de los argumentos.
Variables sentenciales.
Para la sustitucin de enunciados utilizaremos las letras medias del alfabeto, p, q,
r, s, . De esta forma, el enunciado hipottico:
Si el sbado llueve entonces el concierto se suspende.
Se simbolizara como:
Si p entonces q.
Conjunciones.
Para unir de forma conjuntiva utilizaremos el punto ..
De esta forma, el enunciado:
El sbado llueve y se suspende el concierto.
se escribira como:
p q
Tablas de verdad.
A fin de simplificar la forma de evaluar el valor de verdad de un enunciado compuesto,
vamos a incorporar las tablas de verdad. Las tablas de verdad se confeccionan a base
de un encabezado que contiene enunciados y a continuacin, una fila por cada
combinacin de verdaderos y falsos que pueda haber. Incorporamos las letras V y
F para simbolizar verdadero1 y falso respectivamente.
p q
Para armar una tabla de verdad, se descompone un enunciado desde adentro hacia
afuera, o menos metafricamente, desde sus partes ms pequeas hasta las ms
grandes, yendo paso a paso, es decir, respetando las conexiones lgicas entre los
componentes.
Por eso en la tabla anterior vemos las tres columnas
partes ms pequeas de p q son p , q .
p ,
p q , porque las
Luego, en cada fila, se van poniendo los resultados de la evaluacin por separado.
Primero, el de los componentes ms pequeos y luego, el de los ms grandes.
En muchas traducciones latinoamericanas al espaol de libros de autores como, entre otros, Irving M.
Copi, se suele utilizar la letra T del ingls true que significa verdadero en idioma espaol.
Negacin y agrupacin.
Para negar un enunciado utilizaremos la tilde ~.
Suponiendo los mismos enunciados componentes p y q del ejemplo anterior, si
quisiramos negar uno de ellos (q, por ejemplo), diramos:
pq (esperando p verdadera y q falsa)
Para negar p:
p q (esperando p falsa y q verdadera)
Para negar el enunciado completo, incorporamos los parntesis ( ) para agrupar:
(p q) (esperando que sea falso que q y p sean ambas verdaderas)
Para negar p y q:
( p)(q) (esperando p falsa y q falsa)
Disyuncin.
Para escribir enunciados disyuntivos utilizaremos letra v ya que la palabra vel en
latn, representa el modo inclusivo de la conjuncin disyuntiva o (y aut, el de la
exclusiva).
Disyuncin inclusiva.
En el caso de un enunciado disyuntivo inclusivo, tal como:
Es un error de programacin o los datos estn corruptos.
quedara simbolizado como:
p q
y demostrado por la siguiente tabla de verdad:
p q
Disyuncin exclusiva.
A diferencia del anterior, para indicar que no ambos componentes pueden ser
verdaderos a la vez, como en el caso de un enunciado disyuntivo exclusivo tal como:
O es un error de programacin o los datos estn corruptos pero no ambos.
Ser necesario expresar dicha exclusin de forma literal, es decir, diciendo que p o q
pueden ser verdaderas pero que p y q (al mismo tiempo) deben ser falsas:
( p q) ( p q)
Lo anterior, queda comprobado por la siguiente tabla de verdad:
p
p q
p q
(p q)
( p q) ( p q)
( p q) ( p q) es
verdadero.
Observacin para programadores informticos:Es de hacer notar que mientras que p q es
representado en la mayora de los lenguajes de programacin algebraicos por la instruccin (p
or q), muchos de ellos resuelve
xor q) por ejemplo, evitando as la instruccin completa (p or q) and not (p and q).
Sin embargo, a pesar de la reduccin, internamente el ordenador SIEMPRE ejecutar la versin
formalmente lgica, es decir, (p or q) and not (p and q).
Condicionales.
Comentamos en el tema anterior que en un condicional no puede pasar que el
consecuente sea falso y el antecedente verdadero porque si el consecuente es falso,
necesariamente el antecedente tambin lo es (modus tollens). Por lo tanto, el condicional
si p entonces q se representara de la siguiente forma:
(p q)
Sin embargo, a fin de simplificar an ms dicha implicacin, incorporamos el smbolo
herradura obteniendo finalmente:
p q
p q
( p q)
p q
Bibliografa.
Copi, Irving M., Lgica Simblica, Ed. CECSA, Mxico, 1992, cap. 2 y 3.
Copi, Irving M., Introduccin a la Lgica, Ed. EUDEBA, Buenos Aires, 2014, cap. VII
Gianella, Alicia E., La lgica simblica y Elementos de Metodologa Cientfica, Ed. EUDEBA, Buenos
Aires, 2002, cap. I y III