Definición

Salustiano Fernández en su tratado: Lógica Proposicional o de Enunciados, cita que: “la

tarea de la Lógica Proposicional consiste en ocuparse de estudiar la validez formal de los
razonamientos tomando en bloque las proposiciones que los forman, es decir, sin hacer un análisis
de tales proposiciones”.

ENUNCIADO
Antón (1986), define a un enunciado como “las frases declarativas, de las que tiene sentido
preguntarse si son verdaderas o falsas”.

TIPOS DE ENUNCIADOS
Enunciado simple.- Es el que se encuentra constituido por un sólo enunciado, independientemente
del valor de verdad del mismo, lo corrobora Enric Sesa (2001), el cual lo denomina átomo y menciona
que “es la formalización de una frase declarativa que no se puede descomponer en otras más simples.
Los átomos también se denominan fórmulas atómicas o enunciados simples”.
Ejemplos:

- El color negro transmite formalidad.

- La proximidad en un elemento conceptual.
- La textura es un elemento visual del diseño.
- El plano es la unión de líneas.
- Los colores primarios son cuatro.
3puntos: 964668764

Ejercicios: 3 enunciados simples.

Enunciado definido.- Podemos decir que un enunciado definido, es un enunciado simple que
sostiene un solo valor de verdad, éste valor de verdad es único, de manera que si se afirmara lo
contrario se estaría mintiendo.
Ejemplos:

- El punto tiene largo. F

- La línea no tiene fin. F
- Los colores tienen luz. V
- El rojo es un color cálido. V
 - El color negro transmite alegría. F

Enunciado indefinido.- Un enunciado indefinido, se puede precisar como un enunciado simple al

que se le puede conceder cualquiera de los dos valores de verdad existentes, por lo que éstos serán
asignados desglosando el mismo.

Ejemplos:

- Los colores transmiten formalidad (V) ó (F)

o El color negro transmite formalidad V/F
o El color amarillo transmite formalidad F

- La Ley de Gestalt figura la cercanía entre formas (V) ó (F)

o La ley de proximidad (que es una ley de Gestalt) figura la
cercanía entre formas V
o La ley del contraste figura la cercanía entre formas F

Enunciados compuestos.- Son aquellos que resultan de la composición de dos o más enunciados
simples definidos, los cuales se enlazan por medio de un vocablo clave conocido como conector
lógico. Los conectores lógicos pueden ser:

SIMBOLOGÍA

Tal como hemos notado en los últimos ejemplos, expresar enunciados compuestos resulta demasiado
largo y tortuoso, es por ello que se procede a la simbolización de los enunciados, así también de los
conectivos lógicos. Así como en el álgebra lo que se pretende es simplificar las expresiones de los
enunciados simples y por ende los compuestos.

Simbolizar enunciados simples

Enunciado: La textura es un elemento visual de la forma
La simbología de los enunciados se formula con letras que van desde la p, q, r, … que son típicas de
la Lógica, no obstante se pueden utilizar cualquier letra del abecedario.
Ejemplo:
La textura es un elemento visual de la forma.
p
La textura no es un elemento visual de la forma.
~ p
CONECTORES LÓGICOS
∧ “y” Conjunción
∨ “o” Disyunción
→ “entonces” Implicación o condicional
↔ “si y sólo si” Doble implicación o bicondicional
~ “no” Negación.

Simbolizando enunciados compuestos, combinaremos la simbolización de enunciados simples con la

simbología de conectivos lógicos de la siguiente forma:

: Los colores tienen luz.

p

: Los colores no tienen luz.

~p

: El color amarillo es un color claro.

q

: El color amarillo es un color oscuro.

~q

4 puntos: 10:35 am
: La línea tiene bordes
r

: La línea no tiene bordes

~r
entonces
: Es falso que la línea no tenga bordes es lo mismo que la línea tiene bordes.
~ (~r → r )

4 puntos: 10:47 am

: La ley de la proximidad es una ley de Gestalt

s

: La ley del contraste es una ley de Gestalt

t
: La ley de la proximidad es una ley de la Gestalt si y solo si la ley del
 contraste también lo es.
s↔ t

5 puntos: 10:59 am
∧
a) : La línea tiene principio.
p

b) : La línea tiene fin.

q

c) : La línea no tiene principio pero si tiene fin.

- p ∧ q

d) : La línea tiene principio pero no fin.

p ∧ -q

e) : Es falso que, la línea tenga principio y fin

- ( p ∧ q)
TABLAS DE VERDAD
Importante.

Siempre se iniciará la construcción de las tablas por el valor Verdadero.

Para la construcción de las tablas de verdad, se deberá respetar siempre el orden alfabético de
la simbología de los enunciados simples, independientemente del orden el que se encuentren
estos dispuestos en el enunciado compuesto.

Ejemplos:

Enunciado simple: p
Número de enunciados: 1
Utilizando la fórmula: 21 = 2
La tabla de verdad tendrá dos valores de verdad: 1 verdadero y 1 falso para p.

P
V
F
Enunciado compuesto por dos simples : p, q
Número de enunciados: 2
Utilizando la fórmula: 22 = 4 = (2x2)
La tabla de verdad tendrá cuatro valores de verdad: 2 verdaderos y 2 falsos para p, 1 verdadero y 1
falso para q.

P q
V V
V F
F V
F F

Enunciado compuesto por dos simples : p, q, r, s

Número de enunciados: 4
Utilizando la fórmula: 24 = 16
La tabla de verdad tendrá dieciséis valores de verdad: 8 verdaderos y 8 falsos para p, 4 verdaderos y
4 falsos para q, 2 verdaderos y 2 falsos para r, 1 verdadero y 1 falso para s.

p q r s
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

Tablas de verdad con cada conectivo lógico.

Existe una tabla de verdad con cada conectivo lógico. Es arduo recordar cada uno de los valores de
verdad con su respectiva conectiva, por lo que se diseñaron unas pequeñas claves que ayudarán a
recordar sus resultados.

Conjunción
p ∧ q
V V V
V F F
F F V
F F F
Esta es la solución
Clave.- Solamente es verdadero cuando los dos valores son verdaderos, el restante de casos son
falsos.

Disyunción

p ∨ q
V V V
V V F
F V V
F F F

Clave.- Solamente es falso cuando los dos valores de verdad son falsos, el restante de casos son
verdaderos.

Condicional

p → q
V V V
V F F
F V V
F V F

Clave.- Solamente es falso cuando el primer valor es verdadero y el segundo es falso, el restante de
casos son verdaderos

Bicondicional
p ↔ q
V V V
V F F
F F V
F V F

Clave.- Es verdadero cuando los dos valores de verdad son iguales, el restante de casos son falsos.

Negación
 P ~p
V F
F V

Encontremos la solución del siguiente enunciado: ( p ∧ q ) → ( p ∨ q )

1) Construcción de la tabla

Cantidad de enunciado : p, q

Fórmula: 2n = 22 = 4
(p∧q)→(p∨q)
p q
2: V 1: V
2: F 1: F
p q (p ∧ q) → (p ∨ q)
V V V V V V V V V
V F V F F V V V F
F V F F V V F V V
F F F F F V F F F
Rpta
TAUTOLOGÍA

Respuesta: La tabla de verdad nos representa una TAUTOLOGÍA.

Determinemos el valor de verdad de la siguiente proposición:

“Es falso que, el elemento conceptual tenga largo y ancho entonces, el elemento conceptual tiene

~ [ ( p ∧ q) → ( p

largo o ancho”

V q) ]

1) Determinar los enunciados simples que conforman el compuesto:

p: El elemento conceptual tiene largo
q: El elemento conceptual tiene ancho

2) Simbolizando el enunciado:
~[(p∧q)→(p∨q)]
Cantidad de enunciado : p, q
 Fórmula: 2n = 22 = 4
~ [ ( p ∧ q ) → ( p ∨ q )]

2: V 1: V
2: F 1: F
p q ~[ (p ∧ q) → (p ∨ q)]
V V F V V V V V V V
V F F V F F V V V F
F V F F F V V F V V
F F F F F F V F F F
Rpta
CONTRADICCIÓN

RPTA: V, F, V, F, F,F → CONTINGENCIA

RUIZ ORDOÑEZ: 2

Determinemos el valor de verdad del siguiente enunciado compuesto por

simples indefinidos: ROMUALDO RÍOS. (2pts)
Los colores transmiten alegría entonces provocan hambre, si y solo si es cierto
[ (q → p) ↔

que los colores no transmitan alegría, además los colores transmiten elegancia.
y
-q ] ∧ r
1) Determinar los enunciados simples que conforman el complejo:
p: Los colores provocan hambre
q: Los colores transmiten alegría
r: Los colores denotan elegancia

simbolizando:
[ (q → p ) ↔ - q ] ∧ r
Cantidad de enunciado : p, q, r

Fórmula: 2n = 23 = 8
p q r
4: V 2: V 1: V
4: F 2: F 1:F
p q r [(q → p) ↔ - q] ∧ r
V V V V V V F F V F V
V V F V V V F F V F F
V F V F V V V V F V V
V F F F V V V V F F F
F V V V F F V F V V V
F V F V F F V F V F F
F F V F V F V V F V V
F F F F V F V V F F F
Rpta
CONTINGENCIA