Repaso: Lógica proposicional (concepto, formas sentenciales y método

deductivo)
Copi, I. (2001). Lógica Simbólica. Compañía Editorial Continental: Ciudad de México.

La lógica es una ciencia formal; una rama de la filosofía que estudia los principios del
pensamiento y las estructuras del pensamiento. Tiene como finalidad el estudio de la razón en el
conocimiento. Funge como un sistema que permite verificar si el razonamiento es correcto o
incorrecto.
La lógica formal, o Aristotélica, se dedica al estudio de la inferencia mediante la construcción de
lenguajes formales, sistemas deductivos y sistemas formales
La lógica simbólica, o matemática, también llamada proposicional, se basa en la aplicación de
símbolos por medio de tablas de verdad, permite ver lo verdadero o falso de las proposiciones. Es
la parte de la lógica que estudia la formación de proposiciones complejas a partir de
proposiciones simples, y el valor de verdad de dichas proposiciones.
La lógica utiliza un lenguaje básico que no da lugar a imprecisiones, por eso toma como base el
análisis de proposiciones.

GLOSARIO
Proposición: es un enunciado al cual se le puede dar un valor de verdad. Es decir, verdadero o
falso.
Proposiciones simples: no tiene conectivos lógicos. Toda proposición simple está ligada mediante
conectivos lógicos que sirven para unir o enlazar los enunciados. Se representan simbólicamente
mediante el uso de letras minúsculas del alfabeto: p, q, r, s, t. Estas reciben el nombre de
variables proposicionales, de esta forma, el lenguaje proposicional se hace más simple y exacto
que el lenguaje natural.
Proposiciones compuestas: son aquellas que están formadas por dos o más proposiciones simples.
Conectivos lógicos: Palabras que vinculan las ideas expresadas en dos o más proposiciones
simples, para comunicar algo más complejo. Los conectivos lógicos están identificados con un
símbolo especial y un nombre que representa la función que cumplen.
Y – conjunción ∧
O- disyunción débil V
o…o – disyunción fuerte Δ
Si… entonces – Implicación →
Si y solo si – equivalencia ↔
No es cierto que- negación ͠

PROPOSICIONES Y VALOR DE VERDAD

Para determinar el valor de verdad de una proposición compuesta se debe elaborar una tabla de
verdad
Proposición simple
p
V
F

Proposición compuesta
p q
v V
v F
f V
f F

OPERACIONES LÓGICAS Y TABLAS DE VERDAD

Conjunción: vincula dos proposiciones mediante el conectivo lógico “y” cuyo símbolo es ∧ y se
llama conjuntor.
p q p∧q
v v V
v f F
f v F
f f F
Solo es verdadera si las dos proposiciones son verdaderas.
Disyunción débil: vincula dos proposiciones mediante el conectivo lógico “o” cuyo símbolo es
“v” y se llama disyuntor.
p q pvq
v v V
v f V
f v V
f f F Es falsa solo si ambas proposiciones son falsas.
Disyunción fuerte: vincula dos proposiciones mediante el conectivo lógico o…o cuyo símbolo es
Δ y se llama disyuntor fuerte
p q pΔq
v v F
v f V
f v V
f f F Es falsa solo si ambas proposiciones tienen idénticos valores de verdad.
Condicional: vincula dos proposiciones mediante el conectivo lógico “Si…entonces” cuyo
símbolo es → y se le llama implicador.
p q p→q
v v V
v f F
f v V
f f V Es falso cuando el antecedente es verdadero y el consecuente es falso.
Bicondicional: vincula dos proposiciones mediante el conectivo lógico …si y solo si…. Cuyo
símbolo es ↔ llamado doble implicador.
p q p↔ q
v v V Es verdadero solo si ambas proposiciones tienen idénticos valores de
v f F
f v F verdad
f f V Negación: afecta a una sola proposición, es un operador que cambia el
valor de verdad de una proposición. Su símbolo símbolo ͠ y se llama negador.
p ͠
p
V F
F V

Copi, I. (2001). Formas Sentenciales (pp. 43-47). En Lógica Simbólica

Una forma sentencial es definida como cualquier sucesión de símbolos que, conteniendo
variables sentenciales, al ser sustituido el enunciado por la variable —en toda la secuencia— el
resultado es un enunciado. La forma, o instancia de sustitución, es todo enunciado resultante de
la sustitución de variables sentenciales por enunciados en una forma sentencial. Se distingue,
como en el caso del argumento, una forma específica dada de un enunciado como la forma
sentencial de la que resulta el enunciado poniendo en el lugar de cada variable sentencial un
enunciado simple diferente.
 Se puede descubrir la verdad de los enunciados de dos maneras distintas: Si tenemos el
caso de un enunciado simple cualquiera, es posible descubrir su verdad por medio de
investigación empírica; no hay nada necesario con respecto a la verdad de ese enunciado simple.
Si el enunciado es compuesto, cabe en él una verdad formal, que puede saberse
independientemente de la investigación empírica, pues es una verdad necesaria. La tautología es
una forma sentencial que sólo tiene instancias de situación verdaderas:
Los Oakland Raiders ganan este partido o no lo hacen (o v ~o)

o ~o o v ~o

V F V
F V V

Un enunciado es contradictorio de otro enunciado cuando lógicamente se vuelve

imposible que ambos sean verdaderos; se podría decir que la contradicción en una relación entre
enunciados. Además, en el caso de que un enunciado particular sea, lógicamente imposible,
verdadero, se le llama autocontradictorio. También se llama contradictorio a aquellas formas
sentenciales que solo tienen instancias de sustitución falsas:
El cariño es complicado y a la vez no (c · ~c)

c ~c c · ~c

V F F
F V F

Los demás enunciados y formas sentenciales se les llaman contingentes, ya que sus
valores de verdad no están formalmente determinados, sino que son dependientes —o
contingentes— de la situación.
Si las frutas son el ovario fecundado de la planta con las semillas dentro, entonces, el aguacate
es una fruta ( p ⊃ q)
 p q p⊃q

V F F
F V V

Se dice que dos enunciados son materialmente equivalentes — que materialmente uno
implica el otro— cuando tienen el mismo valor de verdad; el símbolo es ≡

Un enunciado p ≡ q se llama bicondicional

Método de deducción
Prueba formal de validez
El método de deducción conste en establecer la validez de algunos argumentos deduciendo sus
conclusiones de sus premisas por una secuencia de argumentos más cortos y elementales que ya
se conocen que son válidos. Esto con el propósito de agilizar el proceso de validación de los
argumentos sin necesidad de tablas de verdad que llegarían hasta 32 renglones. Copi nos pone el
siguiente ejemplo:

Que traducido al simbolismo sería:

El método de deducción funciona de la siguiente manera.

1.A ⊃ C
〜C Modus Tolens
= 〜A La prueba de que el
argumento es válido es que la
2.〜A
conclusión se deduce de sus
A v (B ⊃ D) Silogismo Disyuntivo
premisas usando argumentos
=B⊃D válidos excluisivamente
3. 〜C ⊃ (D ⊃ E)
〜C Modus Ponens
=D⊃E
4.B ⊃ D
D⊃E Silogismo Hipotético
=B⊃E

Una prueba formal de validez para un argumento dado se define como una sucesión de
enunciados, cada uno de los cuales es una oremisa de ese argumento o se sigue de los precedentes
por un argumento válido elemental, y tal que el último enunciado de la secuencia es la conclusión
del argumento cuya validez se está demostrando.
Un argumento válido elemental es cualquier argumento que es una instancia de sustitución de una
forma de argumento válida: