Algebra de Proposiciones e Inferencia Lógica

ALGEBRA DE PROPOSICIONES E INFERENCIA LGICA
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos

ms simples representan proposiciones, y cuyas constantes lgicas, llamadas
conectivas, representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad. (Romero, 2016)
Ahora bien, las proposiciones matemticas son una expresin algebraica a la que
se le puede asignar dos valores, el primero es que sea verdadera y el segundo que
sea falsa, sin embargo, nunca ambas a la vez. Se conoce como valor verdadero o
de verdad de una proposicin a su veracidad o falsedad. El valor de verdad de una
proposicin verdadera es verdad y el de una proposicin falsa es falso.
1Por ejemplo, si se quiere decir cules de las siguientes afirmaciones son

proposiciones y determinar el valor de verdad de aquellas que lo sean.
p: Existe Premio Nobel de informtica.

q: La tierra es el nico planeta del Universo que tiene vida.
r: Teclee Escape para salir de la aplicacin.
s: Cinco ms siete es grande.
Las soluciones serian:
p es una proposicin falsa, es decir su valor de verdad es Falso.

No sabemos si q es una proposicin ya que desconocemos si esta afirmacin
es verdadera o falsa.
r no es una proposicin ya que no es verdadera ni es falsa. Es un mandato.
s no es una proposicin ya que su enunciado, al carecer de contexto, es
ambiguo. En efecto, cinco nias ms siete nios es un nmero grande de
hijos en una familia, sin embargo, cinco monedas de cinco cntimos ms
siete monedas de un cntimo no constituyen una cantidad de dinero grande.
1
Ejemplo tomado de (Gonzalez, 2005)
Por otra parte, existen dos tipos de proposiciones matemticas, las simples y las
compuestas, las proposiciones simples tambin denominadas proposiciones
atmicas, son aquellas proposiciones que no se pueden dividir, por ejemplo, el cielo
es azul; y las proposiciones compuestas
tambin denominadas moleculares, son aquellas que estn formadas por dos o ms
proposiciones simples unidas por los operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.
Adems, existen variables de enunciados que son definidos como una proposicin
arbitraria con un valor de verdad no especificado, es decir, puede ser verdad o falsa.
En el clculo lgico, prescindiremos de los contenidos de los enunciados y los
sustituiremos por variables de enunciado. Toda variable de enunciado p, puede ser
sustituida por cualquier enunciado siendo sus posibles estados, verdadero o falso.
El conjunto de los posibles valores de una proposicin p, los representaremos en
las llamadas tablas de verdad, ideadas por (L.Wittgenstein, 1989).
Existen distintas formas de conectar proposiciones entre s. Para ellos debe

prestarse mucha atencin a las tablas de verdad de las proposiciones compuestas
que pueden formarse utilizando las distintas conexiones.
Negacin.
Para negar una proposicin simple se emplea el smbolo ~ de tal forma que ~p (que
se lee no p), y es tal, que si p es verdadera, ~ p ser falsa, y viceversa.
Ilustracin 1: Tabla de negacin.

Fuente: tomado de (Romero, 2016)
Conjuncin.
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas
a la proposicin compuesta p y q y la notaremos p q. Esta proposicin ser a
verdadera nicamente en el caso de que ambas proposiciones lo sean.
Obsrvese que de la definicin dada se sigue directamente que, si p y q son,
ambas, verdaderas entonces p q es verdad y que, si al menos una de las dos
es falsa, entonces p q es falsa. Por lo tanto, su tabla de verdad vendr dada
por.
Ilustracin 2: Tabla de conjuncin.

Fuente: Tomado de (Romero, 2016)
Observe que la tabla de verdad para dos proposiciones simples tiene cuatro
renglones que contienen todas las posibilidades o alternativas de combinacin de
los valores de verdad de las proposiciones simples.
Disyuncin.
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la

proposicin compuesta p o q y la notaremos p q. Esta proposicin ser verdadera
si al menos una de las dos p o q lo es. De acuerdo con la definicin dada se sigue
que si una de las dos, p o q, es verdad entonces p q es verdad y que p q ser
falsa, nicamente si ambas lo son. Su tabla de verdad ser, por tanto.
Ilustracin 3: Tabla de disyuncin.
Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si p

q es verdad, entonces una de las dos, al menos, ha de ser verdad y si p q es
falsa, entonces ambas han de ser falsas. La palabra o se usa en el lenguaje
ordinario de dos formas distintas. A veces se utiliza en el sentido de p o q, o ambos,
es decir, al menos una de las dos alternativas ocurre y, a veces es usada en el
sentido de p o q, pero no ambos es decir, ocurre exactamente una de las dos
alternativas. Por ejemplo, la proposicin el ir a Madrid o a Bilbao usa o con el
ltimo sentido. A este tipo de disyuncin la llamaremos disyuncin exclusiva.
Disyuncin Exclusiva.
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de

ambas a la proposicin compuesta p o q pero no ambos y la notaremos p Y q. Esta
proposicin ser verdadera si una u otra, pero no ambas son verdaderas. Segn
esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera
cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad
sean iguales. Su tabla de verdad es, por tanto.
Ilustracin 4: Tabla disyuncin exclusiva.
Implicacin.
En la implicacin el primer trmino se denomina antecedente o hiptesis y el
segundo consecuente o tesis. La implicacin es falsa si el antecedente es
verdadero y el consecuente es falso. La implicacin no tiene denominacin
especial.
Ilustracin 5: Tabla de implicacin.

Equivalencia.
La equivalencia es una conectiva lgica, p q, que se lee p equivalente con

q. La equivalencia es verdadera si ambas proposiciones son verdaderas o si
ambas son falsas, es decir:
Ilustracin 6: Tabla de equivalencia.
Tautologas, contradicciones y contingencias.

Sea P una proposicin compuesta de las proposiciones simples 1, 2, . . . , P es
una Tautologa si es verdadera para todos los valores de verdad que se asignen a
1, 2, . . . , . P es una Contradiccin si es falsa para todos los valores de verdad
que se asignen a 1, 2, . . . , . En adelante, notaremos por C a una contradiccin
y por T a una tautologa. Una proposicin P que no es tautologa ni contradiccin
se llama, usualmente, Contingencia.
En otras palabras.
Si la tabla de verdad de la proposicin es siempre verdadera, independiente de la

verdad o falsedad de las proposiciones simples, entonces la expresin es
tautolgica.
Si la tabla de verdad es siempre falsa, ser una contradiccin.
Si la tabla de verdad es verdadera y falsa, la proposicin es una contingencia.
Tautologa.
La siguiente es una tautologa para transformar una implicacin en una expresin

equivalente:
(p q) ~(p ~q), cuya tabla de verdad es:
Ilustracin 7: Tautologa.
Contradiccin.
La siguiente expresin es una contradiccin: (p q) ~(~p v q), cuya tabla de verdad es:
Ilustracin 8: Contradiccin.
Contingencia.
La siguiente expresin es una contingencia : [~p (~q v ~r) ] [~(p q) v ~(p
r)]
Haciendo:
s= p q, t = p r,
Ilustracin 9: Contingencia.
En vista de todo lo anterior es aceptable la intuicin de que la lgica formal permite

la demarcacin de las diferentes reas del conocimiento y del actuar humano.
Metodolgicamente es ms objetiva una demarcacin de este corte y se minimiza
la subjetividad para afrontar la discusin epistemolgica de lo que es y no es ciencia
natural. El estatuto epistemolgico de la ciencia natural, por ser de carcter formal
se convalida desde las estructuras cognitivas lgico-matemticas, esa fortaleza
genera que las ciencias naturales tengan un soporte objetivo que trasciende a
intersubjetivo cuando se comparten teoras y experimentos controlados dada la
universalidad del saber.
La consideracin de que la lgica es un criterio de demarcacin de las actividades

del intelecto humano da como resultado que las disciplinas que se apoyan en
enunciados en trminos del deber ser tienen un estatuto epistemolgico con una
base emprica de corte subjetivo y por ende, los 72 juicios que se emiten dependen
de la cosmovisin y la validez es de carcter restringido en trminos espacio-
temporales. No pretendo invalidar ninguna disciplina, simplemente afirmo que
epistemolgicamente son ciencias diferentes a las ciencias naturales.
En aras de la fidelidad a mis ideas debo dejar constancia de que comparto

plenamente la propuesta de Popper sobre los criterios de demarcacin de las
ciencias. Asimismo, admito que considero que la propuesta de Popper se qued
corta en sus anlisis con respecto a la historia interna de la ciencia: no cay en la
cuenta, cuando postul el criterio de falsacin, en trminos del tollendo tollens, que
la ciencia es hecha por humanos y que stos llevan toda la carga emocional y dems
caractersticas a sus producciones cientficas.
La historia de la ciencia como laboratorio epistemolgico muestra que cuando se

presentan anomalas y experimentos falsadores, sale a flote lo humano de los
humanos. La propuesta de la falsacin se debe considerar como el caso ideal.
Anlogo al caso ideal en fsica: que si bien es el ms estudiado es el que menos se
presenta en la naturaleza. Los fsicos sabemos que ignorar las fuerzas de friccin
es lo menos cotidiano en la prctica real.
As mismo los hombres y mujeres que hacen ciencia en el caso real cuando se
presentan los experimentos falsadores, no consideran la teora falsada: en la
prctica slo se abandona una teora cuando tiene otra mejor o alternativa. En otras
palabras, el sujeto cognoscente no se queda en suspenso explicativo. Mientras no
se tienen teoras alternativas, se contina explicando con la teora disponible y se
ajusta con hiptesis ad-hoc2 . Lo cual no implica que la teora de la lgica de la
ciencia se ha falsado: sale a flote el componente humano de las personas que hacen
ciencia. En otro orden de ideas es el aceptar que la teora de la lgica de la ciencia
al igual que las teoras de la ciencia es una verdad provisoria que aceptamos
mientras no tengamos otra mejor.
El componente humano de las personas que hacen ciencia, no lleva de pleno a otra
consideracin adicional y es lo referente a 2. Hiptesis ad-hoc son hiptesis para
este caso. 73 los juicios que se emiten sobre los juicios de la ciencia. Hago mencin,
por ejemplo a juicios de valor o estimativos. Por ejemplo, el afirmar que la mecnica
de Newton es ms entendible que la mecnica de Lagrange: ese es un juicio de
valor que se emite para mostrar preferencia por una teora, pero no es un juicio de
la fsica. (Barera, 2000).

Algebra de Proposiciones e Inferencia Lógica

Cargado por

Copyright:

Formatos disponibles

Algebra de Proposiciones e Inferencia Lógica

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra de Proposiciones e Inferencia Lógica

Cargado por

Copyright:

Formatos disponibles

ALGEBRA DE PROPOSICIONES E INFERENCIA LGICA

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos

1Por ejemplo, si se quiere decir cules de las siguientes afirmaciones son

p: Existe Premio Nobel de informtica.

Las soluciones serian:

p es una proposicin falsa, es decir su valor de verdad es Falso.

Existen distintas formas de conectar proposiciones entre s. Para ellos debe

Ilustracin 1: Tabla de negacin.

Ilustracin 2: Tabla de conjuncin.

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la

Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si p

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de

Ilustracin 5: Tabla de implicacin.

La equivalencia es una conectiva lgica, p q, que se lee p equivalente con

Tautologas, contradicciones y contingencias.

Si la tabla de verdad de la proposicin es siempre verdadera, independiente de la

Si la tabla de verdad es verdadera y falsa, la proposicin es una contingencia.

La siguiente es una tautologa para transformar una implicacin en una expresin

En vista de todo lo anterior es aceptable la intuicin de que la lgica formal permite

La consideracin de que la lgica es un criterio de demarcacin de las actividades

En aras de la fidelidad a mis ideas debo dejar constancia de que comparto

La historia de la ciencia como laboratorio epistemolgico muestra que cuando se

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.