Las Argumentaciones y La L Ogica Proposicional: Docente: Rafael Asmat Uceda

Lógica de Proposiciones
Las Argumentaciones
Simbolización de Proposiciones
Funciones Veritativas
Las Argumentaciones y la Lógica Proposicional
Docente: Rafael Asmat Uceda
Departamento de Matemáticas
Universidad Nacional de Trujillo
1 de junio de 2022
Uceda, R. A. DPLM
Concepto de Proposición
La proposición es una oración aseverativa de la que tiene sentido

decir que es verdadera o falsa.
Ejemplos
Dolly fue la primera oveja clonada.

Ejemplos
El átomo es una molécula.

Ejemplos
No todas las oraciones son proposiciones.


Ejemplos

Ejemplos (no proposiciones)
Quizá llueva mañana.

Ejemplos

¿Qué es la lógica?

Ejemplos

Debemos honrar a nuestros héroes.

Ejemplos

Sea en hora buena.

Ejemplos

Sea en hora buena.
¡Por Júpiter! ¡Casi me saco la loterı́a!

Ejemplos

Sea en hora buena.
¡Por Júpiter! ¡Casi me saco la loterı́a!
Las Argumentaciones Concepto de Proposición
Simbolización de Proposiciones Clases de Proposiciones
En resumen, para que una expresión lingüı́stica sea proposición

debe cumplir con los siguientes requisitos:
Ser oración
Uceda, R. A. DPLM

Ser oración
Ser oración aseverativa
Uceda, R. A. DPLM

Ser oración
Ser o bien verdadera o bien falsa.
Uceda, R. A. DPLM

Ser oración
Por esto, no son ejemplos de proposiciones:
Uceda, R. A. DPLM

Ser oración
La oraciones interrogativas, imperativas o exhortativas,
desiderativas, exclamativas o admirativas y las dubitativas.
Uceda, R. A. DPLM

Ser oración
Los juicios de valor
Uceda, R. A. DPLM

Ser oración
Las pseudoproposiciones
Uceda, R. A. DPLM

Ser oración
Las funciones proposicionales
Uceda, R. A. DPLM

Ser oración
Las descripciones definidas
Uceda, R. A. DPLM

Ser oración
Los filosofemas
Uceda, R. A. DPLM

Ser oración
Los filosofemas
Uceda, R. A. DPLM
Clases de Proposiciones
Las proposiciones pueden ser de dos tipos: simples o atómicas y
moleculares o compuestas.
Las proposiciones atómicas carecen de conjunciones gramaticales
tı́picas o conectivas (y, o, si... entonces, si y sólo si) o del adverbio
negación ‘no’.
Uceda, R. A. DPLM
Ejemplos
San Marcos es la Universidad más antigua de América.
Uceda, R. A. DPLM
Ejemplos
La lógica es distinta a la matemática.
Uceda, R. A. DPLM
Ejemplos
Las proposiciones atómicas, de acuerdo a sus elementos

constitutivos pueden clasificarse en predicativas (constan de sujeto
y predicado) y relacionales (constan de dos o más sujetos
relacionados entre sı́).
Uceda, R. A. DPLM
Ejemplos
Las proposiciones atómicas, de acuerdo a sus elementos

constitutivos pueden clasificarse en predicativas (constan de sujeto
y predicado) y relacionales (constan de dos o más sujetos
relacionados entre sı́).
Uceda, R. A. DPLM
Ejemplos (atómicas predicativas)

El número 2 es par.
5 es mayor que 3.
Uceda, R. A. DPLM

5 es mayor que 3.
Ejemplos (atómicas relacionales

Silvia es hermana de Angélica.
Uceda, R. A. DPLM

5 es mayor que 3.

Uceda, R. A. DPLM

5 es mayor que 3.

Clasificación de la Proposiciones Moleculares

Las proposiciones moleculares, según el tipo de conjunción que
llevan, se clasifican en conjuntivas, disyuntivas, condicionales y
bicondicionales. Si llevan el adverbio de negación ‘no’, se llaman
negativas.
Uceda, R. A. DPLM

5 es mayor que 3.

Clasificación de la Proposiciones Moleculares

Las proposiciones moleculares, según el tipo de conjunción que
llevan, se clasifican en conjuntivas, disyuntivas, condicionales y
bicondicionales. Si llevan el adverbio de negación ‘no’, se llaman
negativas.
Uceda, R. A. DPLM
Proposiciones Conjuntivas
Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

sus expresiones equivalentes como ‘e’, ‘pero’, ‘aunque’, ‘aun
cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni’, ‘sin embargo’, ‘además’,
etc.
Ejemplos
a) ‘El’ es un artı́culo y ‘de’ es una preposición.

etc.
Ejemplos
b) El número dos es par, pero el número tres es impar.

etc.
Ejemplos
c) Silvia es inteligente, sin embargo es floja.

etc.
Ejemplos
d) Tanto el padre como el hijo son melómanos.

etc.
Ejemplos
e) Manuel e Ismael son universitarios.

etc.
Ejemplos
f) La materia ni se crea ni se destruye.

etc.
Ejemplos
g) Iré a verte aunque llueva.

etc.
Ejemplos
h) Ingresaré a la universidad aun cuando no apruebe el examen
de admisión.

etc.
Ejemplos
h) Ingresaré a la universidad aun cuando no apruebe el examen
de admisión.
Proposiciones Disyuntivas
Las proposiciones disyuntivas llevan la conjunción disyuntiva ‘o’, o
sus expresiones equivalentes: ‘u’, ‘ya... ya’, ‘bien... bien’, ‘ora...
ora’, ‘sea... sea’, ‘y/o’, etc.
En español la disyunción ‘o’ tiene dos sentidos: uno inclusivo o
débil y otro exclusivo o fuerte. La proposición disyuntiva inclusiva
admite que las dos alternativas se den conjuntamente. La
proposición disyuntiva exclusiva no admite que las dos alternativas
se den conjuntamente.
Uceda, R. A. DPLM
Ejemplos
a) Pedro es tı́o o es sobrino.
Uceda, R. A. DPLM
Ejemplos
b) Elena está viva o está muerta.
Uceda, R. A. DPLM
Ejemplos
c) Roberto es profesor o es estudiante.
Uceda, R. A. DPLM
Ejemplos
d) Silvia es soltera o es casada.
Uceda, R. A. DPLM
Ejemplos
d) Silvia es soltera o es casada.
Uceda, R. A. DPLM
Proposiciones Condicionales
Las proposiciones condicionales llevan la conjunción condicional
compuesta ‘si... entonces...’, o sus expresiones equivalentes: ‘si’,
‘siempre que’, ‘con tal que’, ‘puesto que’, ‘ya que’, ‘porque’,
‘cuando’, ‘de’, ‘a menos que’, ‘a no ser que’, ‘salvo que’, ‘sólo si’,
‘solamente si’.
Ejemplos
a) Si es joven, entonces es rebelde.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
b) Es herbı́voro si se alimenta de plantas.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
c) El número cuatro es par puesto que es divisible por dos.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
d) Se llama isósceles siempre que el triángulo tenga dos lados
iguales.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
iguales.
e) Cuando venga Raúl jugaremos ajedrez.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
iguales.
f) De salir el sol iremos a la playa.
Uceda, R. A. DPLM
‘solamente si’.
Ejemplos
iguales.
f) De salir el sol iremos a la playa.
Uceda, R. A. DPLM
Toda proposición condicional consta de dos elementos:

antecedente y consecuente. La proposición que sigue a la palabra
‘si’ se llama antecedente y la que sigue a la palabra ‘entonces’ se
denomina consecuente.
Toda proposición implicativa es condicional, pero no toda
proposición condicional es implicativa. En efecto, sólo las
proposiciones condicionales que son tautologı́as son implicativas.
Uceda, R. A. DPLM

Para que una proposición condicional sea lógicamente correcta no
es necesario que haya relación de atingencia entre el antecedente y
el consecuente, es decir, que la verdad en una proposición
condicional es independiente de las relaciones que puedan existir o
no entre los significados del antecedente y el consecuente. Por
ejemplo, la proposición “Si la tierra gira alrededor del sol, entonces
Lima es capital del Perú” es verdadera no obstante no existir
relación alguna entre los significados de sus proposiciones
componentes.
Uceda, R. A. DPLM

Para que una proposición condicional sea lógicamente correcta no
es necesario que haya relación de atingencia entre el antecedente y
el consecuente, es decir, que la verdad en una proposición
condicional es independiente de las relaciones que puedan existir o
no entre los significados del antecedente y el consecuente. Por
ejemplo, la proposición “Si la tierra gira alrededor del sol, entonces
Lima es capital del Perú” es verdadera no obstante no existir
relación alguna entre los significados de sus proposiciones
componentes.
Uceda, R. A. DPLM
Proposiciones Bicondicionales
Las proposiciones bicondicionales llevan la conjunción compuesta

‘... si y sólo si...’, o sus expresiones equivalentes: ‘cuando y sólo
cuando’, ’si..., entonces y sólo entonces...’, etc.
Ejemplos
a) Es fundamentalista si y sólo si es talibán.
Uceda, R. A. DPLM

Ejemplos
b) Habrá cosecha cuando y sólo cuando llueva.
Uceda, R. A. DPLM

Ejemplos
c) Si apruebo el examen de admisión, entonces y sólo entonces
ingresaré a la universidad
Uceda, R. A. DPLM

Ejemplos
c) Si apruebo el examen de admisión, entonces y sólo entonces
ingresaré a la universidad
Uceda, R. A. DPLM
Proposiciones Negativas
Las proposiciones negativas llevan el adverbio de negación ‘no’, o

sus expresiones equivalentes: ‘nunca’, ‘jamás’, ‘tampoco’, ‘no es
verdad que’, ‘no es cierto que’, ‘es falso que’, ‘le falta’, ‘carece de’,
‘sin’, etc.
Ejemplos
a) Nunca he oı́do esa música.
Uceda, R. A. DPLM

‘sin’, etc.
Ejemplos
b) Jamás he visto al vecino.
Uceda, R. A. DPLM

‘sin’, etc.
Ejemplos
c) Es imposible que el átomo sea molécula.
Uceda, R. A. DPLM

‘sin’, etc.
Ejemplos
d) Es falso que el juez sea fiscal.
Uceda, R. A. DPLM

‘sin’, etc.
Ejemplos
e) Al papá de Nelly le falta carácter
Uceda, R. A. DPLM

‘sin’, etc.
Ejemplos
e) Al papá de Nelly le falta carácter
Uceda, R. A. DPLM
Las Argumentaciones
Clases de Argumentaciones
Las Argumentaciones
Definición
Por argumentaciones entendemos una expresión lingüı́stica que
representa un razonamiento. Por consiguiente, la argumentación es
un conjunto de proposiciones de las cuales, una que se llama
conclusión, se deriva de otra u otras llamadas premisas.
Las argumentaciones, como tales, no son verdaderas ni falsas, éstas
son propiedades de las proposiciones. Las argumentaciones son
correctas o incorrectas (válidas o inválidas) según cumplan o no
determinados requisitos.
Uceda, R. A. DPLM
Las Argumentaciones
Las Argumentaciones
Definición
En términos simples, la argumentación es válida cuando su
conclusión deriva de la premisa y es inválida cuando la conclusión
no deriva de la premisa.
Uceda, R. A. DPLM
Las Argumentaciones
Las Argumentaciones
Definición
En términos simples, la argumentación es válida cuando su
conclusión deriva de la premisa y es inválida cuando la conclusión
no deriva de la premisa.
Uceda, R. A. DPLM
Las Argumentaciones
Las argumentaciones válidas pueden presentar tres casos:
a) Premisa verdadera y conclusión verdadera:

V = Si todos los hombres son mortales
V = entonces algunos hombres son mortales
Uceda, R. A. DPLM
Las Argumentaciones

b) Premisa falsa y conclusión verdadera:

F = Si todos los universitarios son estudiosos
V = entonces algunos universitarios son estudiosos
Uceda, R. A. DPLM
Las Argumentaciones


c) Premisa falsa y conclusión falsa:

F = Si todos los peces son mamı́feros
F = entonces algunos peces son mamı́feros
Uceda, R. A. DPLM
Las Argumentaciones


c) Premisa falsa y conclusión falsa:

F = Si todos los peces son mamı́feros
F = entonces algunos peces son mamı́feros
Uceda, R. A. DPLM
Las Argumentaciones
Se distinguen dos tipos de argumentaciones: deductiva e inductiva.
a) La argumentación deductiva es aquella en la que se pretende

que la conclusión se deriva de las premisas en forma necesaria
en virtud de ciertas caracterı́sticas puramente formales
expresadas en las premisas (caracterı́sticas lógicas).
Uceda, R. A. DPLM
Las Argumentaciones

b) La argumentación inductiva es aquella en que la conclusión se
sustenta en las premisas en forma probable en virtud de un
número más o menos elevado de comprobaciones expresadas
en las premisas (caracterı́sticas fácticas).
Uceda, R. A. DPLM
Las Argumentaciones

La siguiente tabla comparativa muestra las diferencias entre ambos

tipos de argumentación.
Uceda, R. A. DPLM
Las Argumentaciones

La siguiente tabla comparativa muestra las diferencias entre ambos

tipos de argumentación.
Uceda, R. A. DPLM
Las Argumentaciones
Argumentación deductiva Argumentación inductiva

a) Las premisas implican la a) La premisas no implican la
conclusión. conclusión.
b) Se basa en caracterı́sticas b) Se basa en caracterı́sticas
formales o estructurales. fácticas, informativas.
c) No admite gradación de c) Admite gradación de error
error ni de acierto. o de acierto.
d) Se llama deducción. d) Se llama inducción.
La lógica moderna, tal como la entendemos, es una disciplina

eminentemente deductiva; por eso sólo tiene en cuenta la
argumentación deductiva.
Uceda, R. A. DPLM
Las Argumentaciones
Argumentación deductiva Argumentación inductiva

a) Las premisas implican la a) La premisas no implican la
conclusión. conclusión.
b) Se basa en caracterı́sticas b) Se basa en caracterı́sticas
formales o estructurales. fácticas, informativas.
c) No admite gradación de c) Admite gradación de error
error ni de acierto. o de acierto.
d) Se llama deducción. d) Se llama inducción.
La lógica moderna, tal como la entendemos, es una disciplina

eminentemente deductiva; por eso sólo tiene en cuenta la
argumentación deductiva.
Uceda, R. A. DPLM
Conectores Lógicos
Las Argumentaciones
Notaciones Simbólicas
Simbolización
El lenguaje formalizado de la lógica de proposiciones consta de dos

clases de signos: variables proposicionales y operadores o
conectores lógicos.
Las variables proposicionales representan a cualquier

proposición atómica y se utilizan letras minúsculas del
alfabeto castellano: p, q, r, s, etc.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización


Los operadores lógicos además de enlazar o conectar
proposiciones establecen determinadas operaciones entre ellas.
Son de dos clases: diádicos y el monádico. Los operadores
diádicos tienen un doble alcance: hacia la izquierda y hacia la
derecha, es decir, afectan a dos variables. Y son los siguientes:
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización


Los operadores lógicos además de enlazar o conectar
proposiciones establecen determinadas operaciones entre ellas.
Son de dos clases: diádicos y el monádico. Los operadores
diádicos tienen un doble alcance: hacia la izquierda y hacia la
derecha, es decir, afectan a dos variables. Y son los siguientes:
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
1 El conjuntivo: representa a la conjunción ‘y’. Su sı́mbolo es ‘∧’.

2 El disyuntivo: representa a la conjunción ‘o’. Puede ser
inclusivo y exclusivo. El sı́mbolo del inclusivo es ‘∨’; el del
exclusivo es ‘=’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

3 El condicional: representa a la conjunción compuesta ‘si...
entonces’. Su sı́mbolo es ‘→’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

4 El bicondicional: representa a la conjunción compuesta ‘si y
sólo si’. Su sı́mbolo es ‘↔’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

5 Negación conjunta: representa a las partı́culas ‘ni...ni’. Su
sı́mbolo es ‘↓’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

6 Negación alterna representa a la expresión ‘no o no’. Su
sı́mbolo es ‘|’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

7 El Negativo: Es el operador monádico y tiene un solo alcance:
hacia la derecha, es decir, afecta a una sola variable. Es el
operador de la negación. Representa al adverbio negativo ‘no’.
Su sı́mbolo es ‘∼’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

7 El Negativo: Es el operador monádico y tiene un solo alcance:
hacia la derecha, es decir, afecta a una sola variable. Es el
operador de la negación. Representa al adverbio negativo ‘no’.
Su sı́mbolo es ‘∼’.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Existen diferentes notaciones simbólicas, pero pueden reducirse a

tres: la de Scholz, la de Peano- Russell y la de Lukasiewicz. El
sistema que usaremos en el presente curso será el de Peano-Russell
y se muestran en el siguiente cuadro:
Functores Peano-Russell
Negación ∼
Conjunción ∧
Disyunción inclusiva ∨
Disyunción exclusiva =
Condicional →
Bicondicional ↔
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Existen diferentes notaciones simbólicas, pero pueden reducirse a

tres: la de Scholz, la de Peano- Russell y la de Lukasiewicz. El
sistema que usaremos en el presente curso será el de Peano-Russell
y se muestran en el siguiente cuadro:
Functores Peano-Russell
Negación ∼
Conjunción ∧
Disyunción inclusiva ∨
Disyunción exclusiva =
Condicional →
Bicondicional ↔
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
La Simbolización de proposiciones requiere entender previamente

su sentido. Veremos algunos ejemplos.
Ejemplos
a) Si tiene calidad y hay suficiente promoción, el espectáculo
tendrá éxito.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

Ejemplos
tendrá éxito.
Como comienza con “ si”, la expresión es explicativa y supone
“entonces” que en este ejemplo está tácito, y que el sentido
pide que se sitúe después de la coma de la palabra
“promoción”. El antecedente es una conjuntiva y el
consecuente es una proposición atómica. Luego, la
simbolización es:
(p ∧ q) → r
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización

Ejemplos
tendrá éxito.
Como comienza con “ si”, la expresión es explicativa y supone
“entonces” que en este ejemplo está tácito, y que el sentido
pide que se sitúe después de la coma de la palabra
“promoción”. El antecedente es una conjuntiva y el
consecuente es una proposición atómica. Luego, la
simbolización es:
(p ∧ q) → r
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
b) Si eres estudioso, entonces estarás lejos de las malas
compañı́as y a salvo del vicio.
El “ si”, indica que es un condicional. Como está claro, el
antecedente es una proposición atómica y el consecuente es
una conjuntiva. Por lo tanto, la simbolización es:
p → (q ∧ r )
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p → (q ∧ r )
c) Si no es verdad que la lógica es una ciencia y que la música es
un arte, entonces el profesor está equivocado.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p → (q ∧ r )
Se trata de un condicional. Su antecedente es una conjuntiva
precedida de negación pues la precede la expresión “no es
verdad” que”. El consecuente es una atómica. Su
simbolización es:
∼ (p ∧ q) → r
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p → (q ∧ r )
Se trata de un condicional. Su antecedente es una conjuntiva
precedida de negación pues la precede la expresión “no es
verdad” que”. El consecuente es una atómica. Su
simbolización es:
∼ (p ∧ q) → r
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
d) El Perú serı́a una monarquı́a si y sólo si hubiera triunfado la
tesis de San Martı́n o Bolı́var.
El functor “si y sólo si”, indica que es un bicondicional. Todo
lo que antecedente es una atómica y lo que le sigue es un
disyuntiva. La simbolización es:
p ↔ (q ∨ r )
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p ↔ (q ∨ r )
c) Lima serı́a una ciudad limpia y hermosa si y sólo si, sus
habitantes tomasen algunos cursos intensivos de higiene o la
policı́a municipal emprendiera una campaña extraordinaria de
limpieza.
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p ↔ (q ∨ r )
limpieza.
Se trata de un bicondicional. La expresión que antecede al
functor es una conjuntiva y la que le sigue es una disyuntiva.
Se simboliza ası́:
(p ∧ q) ↔ (r ∨ s)
Uceda, R. A. DPLM
Las Argumentaciones
Simbolización
Ejemplos
p ↔ (q ∨ r )
limpieza.
Se trata de un bicondicional. La expresión que antecede al
functor es una conjuntiva y la que le sigue es una disyuntiva.
Se simboliza ası́:
(p ∧ q) ↔ (r ∨ s)
Uceda, R. A. DPLM
Las Argumentaciones Tablas de Verdad
Simbolización de Proposiciones Clasificación de las Fórmulas Moleculares
Definición Tabular de la Conjunción

p q p ∧ q
V V V
V F F
F V F
F F F
Tabla de verdad de la conjunción
La conjunción es verdadera si y sólo si sus dos componentes son

verdaderas; en todos los demás casos es falsa.
Uceda, R. A. DPLM
Definición Tabular de la Conjunción

p q p ∧ q
V V V
V F F
F V F
F F F
Tabla de verdad de la conjunción
La conjunción es verdadera si y sólo si sus dos componentes son

verdaderas; en todos los demás casos es falsa.
Uceda, R. A. DPLM
Definición Tabular de la Disyunción Inclusiva

p q p ∨ q
V V V
V F V
F V V
F F F
Tabla de verdad de la disyunción débil
La disyunción inclusiva es falsa si y sólo si sus dos componentes

son falsos; en todos los demás casos es verdadera.
Uceda, R. A. DPLM
Definición Tabular de la Disyunción Inclusiva

p q p ∨ q
V V V
V F V
F V V
F F F
Tabla de verdad de la disyunción débil
La disyunción inclusiva es falsa si y sólo si sus dos componentes

son falsos; en todos los demás casos es verdadera.
Uceda, R. A. DPLM
Definición Tabular de la Disyunción Exclusiva

p q p = q
V V F
V F V
F V V
F F F
Tabla de verdad de la disyunción exclusiva
La disyunción exclusiva es verdadera si y sólo si sus dos

componentes tienen valores diferentes.
Uceda, R. A. DPLM
Definición Tabular de la Disyunción Exclusiva

p q p = q
V V F
V F V
F V V
F F F
Tabla de verdad de la disyunción exclusiva
La disyunción exclusiva es verdadera si y sólo si sus dos

componentes tienen valores diferentes.
Uceda, R. A. DPLM
Definición Tabular del Condicional

p q p→q
V V V
V F F
F V V
F F V
Tabla de verdad del Condicional
La implicación es falsa si y sólo si su antecedente es verdadero y

falso su consecuente; en todos los demás casos es verdadera.
Uceda, R. A. DPLM
Definición Tabular del Condicional

p q p→q
V V V
V F F
F V V
F F V
Tabla de verdad del Condicional
La implicación es falsa si y sólo si su antecedente es verdadero y

falso su consecuente; en todos los demás casos es verdadera.
Uceda, R. A. DPLM
Definición Tabular del Bicondicional

p q p↔q
V V V
V F F
F V F
F F V
Tabla de verdad del bicondicional
La equivalencia es verdadera si y sólo si sus dos componentes

tienen el mismo valor.
Uceda, R. A. DPLM
Definición Tabular del Bicondicional

p q p↔q
V V V
V F F
F V F
F F V
Tabla de verdad del bicondicional
La equivalencia es verdadera si y sólo si sus dos componentes

tienen el mismo valor.
Uceda, R. A. DPLM
Definición Tabular de la Negación

p ∼p
V F
F V
Tabla de verdad de la negación
La negación cambia el valor veritativo de una proposición, sea ella

atómica o molecular, de manera que si es verdadera se convierte en
falsa y viceversa.
Uceda, R. A. DPLM
Definición Tabular de la Negación

p ∼p
V F
F V
Tabla de verdad de la negación
La negación cambia el valor veritativo de una proposición, sea ella

atómica o molecular, de manera que si es verdadera se convierte en
falsa y viceversa.
Uceda, R. A. DPLM
Tablas de Verdad
Las fórmulas moleculares definidas anteriormente a través de la

tabla de la verdad son elementales en la medida en que contienen
un solo operador y dos variables.
Para definir tabularmente fórmulas moleculares complejas (dos o
más operadores distintos o dos o más veces el mismo operador) se
deben observar los siguientes pasos:
Uceda, R. A. DPLM
Tablas de Verdad

1. Dada la fórmula molecular compleja se establece la jerarquı́a
entre sus operadores a través de los signos de agrupación.
∼ [(p ∨ q) ∧ (∼ q →∼ p)]
Uceda, R. A. DPLM
Tablas de Verdad

∼ [(p ∨ q) ∧ (∼ q →∼ p)]
2. Se construyen las matrices secundarias que corresponden a las
de los operadores de menor jerarquı́a aplicando sus respectivas
definiciones:
Uceda, R. A. DPLM
Tablas de Verdad

∼ [(p ∨ q) ∧ (∼ q →∼ p)]
2. Se construyen las matrices secundarias que corresponden a las
de los operadores de menor jerarquı́a aplicando sus respectivas
definiciones:
Uceda, R. A. DPLM
p q ∼ [(p ∨ q) ∧ (∼ q →∼ p)]
V V VVV V FVVFV
V F VVF F VFFFV
F V FVV V FVVVF
F F FFF F VFVVF
3. Se construye, finalmente, la matriz principal que corresponde

a la del operador de mayor jerarquı́a aplicando la definición
correspondiente a las matrices de los operadores que la siguen
en jerarquı́a:
Uceda, R. A. DPLM
p q ∼ [(p ∨ q) ∧ (∼ q →∼ p)]
V V VVV V FVVFV
V F VVF F VFFFV
F V FVV V FVVVF
F F FFF F VFVVF
3. Se construye, finalmente, la matriz principal que corresponde

a la del operador de mayor jerarquı́a aplicando la definición
correspondiente a las matrices de los operadores que la siguen
en jerarquı́a:
Uceda, R. A. DPLM
3 2 4 34
p q ∼ [(p ∨ q) ∧ (∼ q →∼ p)]
V V F VVV V FVVFV
V F V VVF F VFFFV
F V F FVV V FVVVF
F F V FFF F VFVVF
La matriz principal se obtuvo aplicando la definición del operador
negativo a los valores de la matriz 2. La matriz 2 se obtuvo
aplicando la definición del operador conjuntivo a los valores de las
matrices 3. Para la matriz 3 del lado izquierdo, se aplica la
definición del operador disyuntivo inclusivo a los valores de ‘p’ y
‘q’. Para la matriz 3 del lado derecho se aplica la definición del
operador condicional a los valores de las matrices 4. Para La matriz
4 del lado izquierdo se aplica la definición del operador negativo a
los valores de ‘q’ y para la matriz 4 del lado derecho, se aplica la
definición del operador negativo a los valores de ‘p’.
Uceda, R. A. DPLM
3 2 4 34
p q ∼ [(p ∨ q) ∧ (∼ q →∼ p)]
V V F VVV V FVVFV
V F V VVF F VFFFV
F V F FVV V FVVVF
F F V FFF F VFVVF
La matriz principal se obtuvo aplicando la definición del operador
negativo a los valores de la matriz 2. La matriz 2 se obtuvo
aplicando la definición del operador conjuntivo a los valores de las
matrices 3. Para la matriz 3 del lado izquierdo, se aplica la
definición del operador disyuntivo inclusivo a los valores de ‘p’ y
‘q’. Para la matriz 3 del lado derecho se aplica la definición del
operador condicional a los valores de las matrices 4. Para La matriz
4 del lado izquierdo se aplica la definición del operador negativo a
los valores de ‘q’ y para la matriz 4 del lado derecho, se aplica la
definición del operador negativo a los valores de ‘p’.
Uceda, R. A. DPLM
Fórmula Molecular Tautológica

Las tablas de verdad nos permiten clasificar a las fórmulas
moleculares, atendiendo a su matriz principal, en tautológicas,
consistentes y contradictorias.
Las fórmulas moleculares tautológicas (FMT), llamadas también
leyes lógicas, son aquellas en que los valores de su matriz principal
son todos verdaderos.
Uceda, R. A. DPLM

Uceda, R. A. DPLM

Uceda, R. A. DPLM
Fórmula Molecular Consistente
Fórmulas moleculares consistentes (FMC), son aquellas en que

algunos de los valores de su matriz principal son verdaderos y
algunos son falsos.
Uceda, R. A. DPLM
Fórmula Molecular Consistente
Fórmulas moleculares consistentes (FMC), son aquellas en que

algunos de los valores de su matriz principal son verdaderos y
algunos son falsos.
Uceda, R. A. DPLM
Fórmula Molecular Contradictoria
Fórmulas moleculares contradictorias (FM⊥), denominadas

también fórmulas inconsistentes, son aquellas en que los valores de
su matriz principal son todos falsos.
Uceda, R. A. DPLM

Las Argumentaciones y La L Ogica Proposicional: Docente: Rafael Asmat Uceda

Cargado por

Información del documento

Descripción original:

Título 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

Las Argumentaciones y La L Ogica Proposicional: Docente: Rafael Asmat Uceda

Cargado por

Copyright:

Formatos disponibles

Lógica de Proposiciones

Las Argumentaciones y la Lógica Proposicional

Docente: Rafael Asmat Uceda

La proposición es una oración aseverativa de la que tiene sentido

La proposición es una oración aseverativa de la que tiene sentido

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

La proposición es una oración aseverativa de la que tiene sentido

No todas las oraciones son proposiciones.

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

En resumen, para que una expresión lingüı́stica sea proposición

Las proposiciones atómicas, de acuerdo a sus elementos

Las proposiciones atómicas, de acuerdo a sus elementos

Ejemplos (atómicas predicativas)

Ejemplos (atómicas predicativas)

Ejemplos (atómicas relacionales

Ejemplos (atómicas predicativas)

Ejemplos (atómicas relacionales

Ejemplos (atómicas predicativas)

Ejemplos (atómicas relacionales

Clasificación de la Proposiciones Moleculares

Ejemplos (atómicas predicativas)

Ejemplos (atómicas relacionales

Clasificación de la Proposiciones Moleculares

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o

Toda proposición condicional consta de dos elementos:

Toda proposición condicional consta de dos elementos:

Toda proposición condicional consta de dos elementos:

Las proposiciones bicondicionales llevan la conjunción compuesta

Las proposiciones bicondicionales llevan la conjunción compuesta

Las proposiciones bicondicionales llevan la conjunción compuesta

Las proposiciones bicondicionales llevan la conjunción compuesta

Las proposiciones negativas llevan el adverbio de negación ‘no’, o

Las proposiciones negativas llevan el adverbio de negación ‘no’, o

Las proposiciones negativas llevan el adverbio de negación ‘no’, o