You are on page 1of 10

ALGEBRA DE PROPOSICIONES E INFERENCIA LÓGICA

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos
más simples representan proposiciones, y cuyas constantes lógicas, llamadas
conectivas, representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad. (Romero, 2016)

Ahora bien, las proposiciones matemáticas son una expresión 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 proposición a su veracidad o falsedad. El valor de verdad de una
proposición verdadera es verdad y el de una proposición falsa es falso.

1Por ejemplo, si se quiere decir cuáles de las siguientes afirmaciones son
proposiciones y determinar el valor de verdad de aquellas que lo sean.

 p: Existe Premio Nobel de informática.
 q: La tierra es el único planeta del Universo que tiene vida.
 r: Teclee Escape para salir de la aplicación.
 s: Cinco más siete es grande.

Las soluciones serian:

 p es una proposición falsa, es decir su valor de verdad es Falso.
 No sabemos si q es una proposición ya que desconocemos si esta afirmación
es verdadera o falsa.
 r no es una proposición ya que no es verdadera ni es falsa. Es un mandato.
 s no es una proposición ya que su enunciado, al carecer de contexto, es
ambiguo. En efecto, cinco niñas más siete niños es un número grande de
hijos en una familia, sin embargo, cinco monedas de cinco céntimos más
siete monedas de un céntimo no constituyen una cantidad de dinero grande.

1
Ejemplo tomado de (Gonzalez, 2005)

Además. Ilustración 1: Tabla de negación. y las proposiciones compuestas también denominadas moleculares. El conjunto de los posibles valores de una proposición p. puede ser sustituida por cualquier enunciado siendo sus posibles estados. 2016) . En el cálculo lógico. es decir. 1989). existen dos tipos de proposiciones matemáticas.  Negación. Toda variable de enunciado p. son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. son aquellas proposiciones que no se pueden dividir. Existen distintas formas de conectar proposiciones entre sí. Fuente: tomado de (Romero. Para ellos debe prestarse mucha atención a las tablas de verdad de las proposiciones compuestas que pueden formarse utilizando las distintas conexiones. puede ser verdad o falsa. las simples y las compuestas. pero el banco estaba cerrado. Ejemplos:  Fui al banco. prescindiremos de los contenidos de los enunciados y los sustituiremos por variables de enunciado. existen variables de enunciados que son definidos como una proposición arbitraria con un valor de verdad no especificado.Por otra parte. Para negar una proposición simple se emplea el símbolo ~ de tal forma que ~p (que se lee “no p”). y es tal. por ejemplo. las proposiciones simples también denominadas proposiciones atómicas. el cielo es azul.  Los lectores de este libro son jóvenes o universitarios. y viceversa. verdadero o falso. ideadas por (L.  Si el miércoles próximo me saco la lotería entonces te regalare un auto. que si p es verdadera.Wittgenstein. los representaremos en las llamadas tablas de verdad. ~ p será falsa.

llamaremos conjunción de ambas a la proposición compuesta “p y q” y la notaremos p ∧ q. es verdad entonces p ∨ q es verdad y que p ∨ q será falsa. Su tabla de verdad será. . verdaderas entonces p ∧ q es verdad y que. si p y q son. Esta proposición ser ‘a verdadera ´únicamente en el caso de que ambas proposiciones lo sean. ambas. p o q. si al menos una de las dos es falsa. 2016) Observe que la tabla de verdad para dos proposiciones simples tiene cuatro renglones que contienen todas las posibilidades o alternativas de combinación de los valores de verdad de las proposiciones simples.  Conjunción. Dadas dos proposiciones cualesquiera p y q. llamaremos disyunción de ambas a la proposición compuesta “p o q” y la notaremos p ∨ q. De acuerdo con la definición dada se sigue que si una de las dos. entonces p ∧ q es falsa. por tanto. únicamente si ambas lo son. Dadas dos proposiciones cualesquiera p y q. Ilustración 2: Tabla de conjunción. Fuente: Tomado de (Romero.  Disyunción. Obsérvese que de la definición dada se sigue directamente que. su tabla de verdad vendrá dada por. Esta proposición será verdadera si al menos una de las dos p o q lo es. Por lo tanto.

entonces una de las dos. si p ∨ q es verdad. la proposición “el irá a Madrid o a Bilbao” usa “o” con el último sentido. A este tipo de disyunción la llamaremos disyunción exclusiva. . ocurre exactamente una de las dos alternativas.  Disyunción Exclusiva. A veces se utiliza en el sentido de “p o q. Esta proposición será verdadera si una u otra. pero no ambas son verdaderas. al menos. llamaremos disyunción exclusiva de ambas a la proposición compuesta “p o q pero no ambos” y la notaremos p Y q. por tanto. entonces ambas han de ser falsas. Su tabla de verdad es. es decir. o ambos”. al menos una de las dos alternativas ocurre y. ha de ser verdad y si p ∨ q es falsa. Por ejemplo. podemos razonar en sentido inverso. Ilustración 3: Tabla de disyunción. 2016) Al igual que en la conjunción. pero no ambos” es decir. Dadas dos proposiciones cualesquiera p y q. Fuente: tomado de (Romero. Según esta definición una disyunción exclusiva de dos proposiciones p y q será verdadera cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. a veces es usada en el sentido de “p ´o q. La palabra “o” se usa en el lenguaje ordinario de dos formas distintas. En efecto.

La equivalencia es una conectiva lógica. Fuente: tomado de (Romero. 2016)  Implicación. Fuente: tomado de (Romero. 2016)  Equivalencia. La equivalencia es verdadera si ambas proposiciones son verdaderas o si ambas son falsas. Ilustración 5: Tabla de implicación. p ↔ q. es decir: . En la implicación el primer término se denomina antecedente o hipótesis y el segundo consecuente o tesis. La implicación no tiene denominación especial. Ilustración 4: Tabla disyunción exclusiva. que se lee “p equivalente con q”. La implicación es falsa si el antecedente es verdadero y el consecuente es falso.

.  Tautología. . ?2. Ilustración 6: Tabla de equivalencia. En otras palabras. ?2. P es una Contradicción si es falsa para todos los valores de verdad que se asignen a ?1. usualmente. contradicciones y contingencias. ??. . . Una proposición P que no es tautología ni contradicción se llama. independiente de la verdad o falsedad de las proposiciones simples. 2016)  Tautologías. ?? P es una Tautología si es verdadera para todos los valores de verdad que se asignen a ?1. . ?2. . Si la tabla de verdad de la proposición es siempre verdadera. . . será una contradicción. Si la tabla de verdad es verdadera y falsa. la proposición es una contingencia. Sea P una proposición compuesta de las proposiciones simples ?1. . La siguiente es una tautología para transformar una implicación en una expresión equivalente: (p → q) ↔ ~(p л ~q). . . cuya tabla de verdad es: . entonces la expresión es tautológica. Contingencia. . Fuente: tomado de (Romero. En adelante. notaremos por “C” a una contradicción y por “T” a una tautología. Si la tabla de verdad es siempre falsa. ??.

2016) . 2016)  Contradicción. Ilustración 7: Tautología. cuya tabla de verdad es: Ilustración 8: Contradicción. Fuente: tomado de (Romero. La siguiente expresión es una contradicción: (p → q) ↔ ~(~p v q). Fuente: tomado de (Romero.

 Contingencia. Ilustración 9: Contingencia. 2016) En vista de todo lo anterior es aceptable la intuición de que la lógica formal permite la demarcación de las diferentes áreas del conocimiento y del actuar humano. El estatuto epistemológico de la ciencia natural. Fuente: tomado de (Romero. La siguiente expresión es una contingencia : [~p → (~q v ~r) ] → [~(p → q) v ~(p →r)] Haciendo: s= p → q. Metodológicamente es más objetiva una demarcación de este corte y se minimiza la subjetividad para afrontar la discusión epistemológica de lo que es y no es ciencia natural. t = p → r. por ser de carácter formal se convalida desde las estructuras cognitivas lógico-matemáticas. esa fortaleza genera que las ciencias naturales tengan un soporte objetivo que trasciende a .

los 72 juicios que se emiten dependen de la cosmovisión y la validez es de carácter restringido en términos espacio- temporales. La consideración de que la lógica es un criterio de demarcación de las actividades del intelecto humano da como resultado que las disciplinas que se apoyan en enunciados en términos del deber ser tienen un estatuto epistemológico con una base empírica de corte subjetivo y por ende. Así mismo los hombres y mujeres que hacen ciencia en el caso real cuando se presentan los experimentos falsadores. No pretendo invalidar ninguna disciplina. no consideran la teoría falsada: en la práctica sólo se abandona una teoría cuando tiene otra mejor o alternativa. en términos del tollendo tollens. Lo cual no implica que la teoría de la lógica de la ciencia se ha falsado: sale a flote el componente humano de las personas que hacen ciencia. En aras de la fidelidad a mis ideas debo dejar constancia de que comparto plenamente la propuesta de Popper sobre los criterios de demarcación de las ciencias. La propuesta de la falsación se debe considerar como el caso ideal. En otras palabras. se continúa explicando con la teoría disponible y se ajusta con hipótesis ad-hoc2 . sale a flote lo humano de los humanos.intersubjetivo cuando se comparten teorías y experimentos controlados dada la universalidad del saber. el sujeto cognoscente no se queda en suspenso explicativo. La historia de la ciencia como laboratorio epistemológico muestra que cuando se presentan anomalías y experimentos falsadores. Asimismo. Mientras no se tienen teorías alternativas. que la ciencia es hecha por humanos y que éstos llevan toda la carga emocional y demás características a sus producciones científicas. simplemente afirmo que epistemológicamente son ciencias diferentes a las ciencias naturales. En otro orden de ideas es el aceptar que la teoría de la lógica de la ciencia . Los físicos sabemos que ignorar las fuerzas de fricción es lo menos cotidiano en la práctica real. cuando postuló el criterio de falsación. Análogo al caso ideal en física: que si bien es el más estudiado es el que menos se presenta en la naturaleza. admito que considero que la propuesta de Popper se quedó corta en sus análisis con respecto a la historia interna de la ciencia: no cayó en la cuenta.

al igual que las teorías de la ciencia es una verdad provisoria que aceptamos mientras no tengamos otra mejor. . por ejemplo a juicios de valor o estimativos. El componente humano de las personas que hacen ciencia. Por ejemplo. Hipótesis ad-hoc son hipótesis para este caso. 73 los juicios que se emiten sobre los juicios de la ciencia. pero no es un juicio de la física. (Barera. Hago mención. el afirmar que la mecánica de Newton es más entendible que la mecánica de Lagrange: ese es un juicio de valor que se emite para mostrar preferencia por una teoría. 2000). no lleva de pleno a otra consideración adicional y es lo referente a 2.