Proposiciones y Tablas de Verdad

LAS PROPOSICIONES
1.

DEFINICIN.Son juicios aseverativos o declarativos que se caracterizan por ser verdaderas o falsas, pero no ambas cosas
a la vez. Tienen sujeto, verbo y predicado. Cumplen la funcin informativa del lenguaje y son enunciados
cerrados.
Tambin son proposiciones las oraciones elpticas o abreviadas, conformadas por una sola palabra con sentido
completo. Ejemplo: Terremoto!, Llueve, Oro!, etc.

2.

PROPIEDADES.2.1. CUALIDAD.- O calidad de ser afirmativas o negativas.

* Afirmativas.- Enuncian afirmativamente una caracterstica del objeto - sujeto.
Ejemplo:
Descartes
es
un psiclogo moderno
SUJETO
CPULA
PREDICADO
* Negativas.- Cuando se rechaza o niega una caracterstica del objeto - sujeto.
Ejemplo:
La Biologa
no es
una rama de la Psicologa
SUJETO CPULA
PREDICADO
2.2. CANTIDAD.- Universales, particulares.
*

Universales.- Cuando el sujeto est en toda su extensin; o el predicado se atribuye a toda la extensin
del sujeto.
Ejemplo:
Todo neonato es racional
Ningn psicpata es sociable.
* Particulares.- Cuando el sujeto es considerado en parte de su extensin, o el predicado se atribuye una
parte de la extensin del sujeto.
Ejemplo:
Algn hombre es genio
Algunos nmeros no son pares
3. CLASIFICACIN DE LAS PROPOSICIONES.3.1. PROPOSICIONES SIMPLES O ATMICAS.Son las que carecen totalmente de conectores lgicos, sea monario o binario, y constituyen una sola
unidad informativa
Ejemplo:
Todos los perros son mamferos.
Las proposiciones simples pueden ser:
a.

Predicativas.- Son aquellas que atribuyen o afirman una cualidad o circunstancia de un objeto o
sujeto.
Ejemplo:

La Psicologa es una ciencia social.

S
P
b. Relacionales.- Son aquellas que establecen una relacin o enlace entre 2 sujetos u objetos.
Ejemplo:
Henry escribe a Elizabeth (Relacin de comunicacin)
A
r
B

225

Lima est al norte de Ica. (Relacin de ubicacin)

A
r
B
Donde A y B son letras que representan a los sujetos y, r indica la relacin que se establece entre
ellos.
3.2. PROPOSICIONES COMPUESTAS O MOLECULARES.Tambin llamadas coligativas; son las que estn constituidas por ms de una proposicin simple,
unidas por conectivos lgicos.
Las proposiciones compuestas pueden ser :
a) CONJUNTIVAS.- Est formada por la unin de 2 proposiciones simples mediante la conjuncin Y.
Tambin por los trminos pero, sin embargo, as como, tanto como, incluso, etc.
Ejemplo:
Wundt es el padre del Esctructuralismo y Freud es el padre del Psicoanlisis
Proposicin Simple
conjuncin
Proposicin Simple
b) DISYUNTIVAS.- Son aquellas proposiciones simples unidas por el trmino de enlace O
Estas proposiciones pueden ser:

c)

D. Inclusivas.- O dbiles, son las que plantean 2 situaciones, pudiendo realizarse una y tambin
la otra. Su conectivo lgico es o, y/o, a menos que, salvo que, excepto que, o ambos a la
vez, en sentido incluyente, etc
Ejemplo:
10 es mayor que 4 2 es un nmero par

D. Exclusivas.- O fuertes, son las que plantean 2 situaciones, si se realiza una de ellas, la otra
es imposible de realizarse. Su conectivo lgico es: O __________ o ___________, en
sentido excluyente, pero no ambos, solamente, etc.
Ejemplo:
O Mesones Muro naci en Chiclayo o Mesones Muro naci en Ferreafe.
CONDICIONALES.- O hipotticas, son las proposiciones que expresan una relacin de causalidad
entre las proposiciones afectadas, por ello a la proposicin que cumpla el papel de causa se le
denomina antecedente y a la que resulta ser el efecto se le llama consecuente. Estn unidas por el
trmino de enlace si entonces. Se dividen en ;
* Directa (implicativa): La implicacin se da mediante un conectivo, que puede transcribirse "si...
entonces ..". El enunciado hipottico resulta de colocar la palabra "si" antes del primer enunciado
y la palabra "entonces" antes del segundo, por lo que se le llama tambin condicional, implicacin o
enunciado implicativo.
Ejemplo:
Si es una recta entonces es la distancia ms corta.
Antecedente

Consecuente

* Inversa (replicativa): Se da cuando la operacin de implicacin est desordenada (en lenguaje

natural o cientfico). Es decir cuando primero est el consecuente y luego el antecedente.
Ejemplo:
Es la distancia mas corta porque es una recta
Consecuente
Antecedente
d)

<

BICONDICIONALES.- Son proposiciones simples unidas por el trmino de enlace si y solo si

Ejemplo:
Vanessa ingresa a la universidad si y slo si obtiene nota aprobatoria. La doble implicacin se
entiende como sigue: "Si Vanessa ingresa a la universidad entonces obtiene una nota

226

aprobatoria y si Vanessa tiene una nota aprobatoria entonces ingresa a la universidad".

e)

NEGATIVAS.- Son aquellas que invierten el sentido proposicional a partir de una proposicin
afirmativa que le dio origen.
Ejemplo:
Es falso que Estocolmo es capital de Suiza y Berna de Suecia. (negacin externa).
El jabal no es un cetceo (negacin interna).

4. FORMALIZACIN DE LAS PROPOSICIONES.Es un proceso que consiste en traducir el lenguaje natural a un lenguaje simblico, para obtener una f.b.f.
(frmula bien formada). Los elementos de la formalizacin son :
4.1. VARIABLES LGICAS O PROPOSICIONALES.- Son smbolos que representan cualquier
proposicin simple. Estn constituidas por las letras minsculas: p, q, r, s, t,... etc.
Ejemplo:
Si el nio estudia y el joven escribe o los adultos dibujan, entonces todos trabajan
p
q
r
s
p = el nio estudia
q = el joven escribe
r = los adultos dibujan
s = todos trabajan
4.2. CONECTIVOS LGICOS.- Tambin llamados operadores, conectores o constantes lgicas, son
aquellos que sirven de enlace, conectan o unen 2 proposiciones para formar nuevas proposiciones
compuestas, y son:
4.2.1. CONJUNTOR (PROPOSICIN CONJUNTIVA).- Su smbolo es , aunque algunos
utilizan el siguiente:

autores

Algunas mujeres sufren de hipertensin y ansiedad

p

q
Su simbolizacin es :
Se lee: p y q

pq

4.2.2. DISYUNTOR (PROPOSICIN DISYUNTIVA INCLUSIVA).- Su smbolo es .

Vargas Llosa es escritor o poltico.
p

q
Su simbolizacin es :
pq
Se lee: p o q
4.2.3. BIDISYUNTOR (PROPOSICIN DISYUNTIVA EXCLUSIVA).- Su smbolo es , algunos
autores utilizan: D
O Aristteles es idealista o
p

Su simbolizacin es :
Se lee: o p o q

Aristteles es realista.
q

pq

4.2.4. IMPLICADOR (PROPOSICIN CONDICIONAL DIRECTA).- Su smbolo es , algunos

autores utilizan:
Si la temperatura est bajo cero, entonces el agua se congela.
p

227

Su simbolizacin es : p q
Se lee: si p entonces q
4.2.5. REPLICADOR (PROPOSICIN CONDICIONAL INVERSA).- Su smbolo es
El agua se congela si la temperatura est bajo cero
q

p
Su simbolizacin es : q p
Se lee : q si p
4.2.6. BIIMPLICADOR (PROPOSICIN BICONDICIONAL).- Su smbolo es , algunos autores
utilizan:
Un nmero es divisible por dos si y slo si
p

es un nmero par.
q

Su simbolizacin sera: p q
Se lee: p si y slo si q
4.2.6. INVERSOR (PROPOSICIN NEGATIVA).- Se simbolizan con una tilde : ~, algunos autores
lo simbolizan con el signo:
Negacin Simple: Si niega slo una proposicin simple. Ejemplo:
Sechenov no fue historiador
~p
Su simbolizacin sera: ~ p
Se lee: no p
Negacin Compuesta: Si niega una proposicin compuesta. Ejemplo:
No es cierto que Pirrn de Elis sea escptico
~
p

dogmtico a la vez.
q

Proposicin Compuesta
Su simbolizacin sera: ~ (p q)
Se lee: no es cierto que p y q
4.3. JERARQUA DE CONECTORES.- Cuando hay ms de un conector lgico se debe determinar la
jerarqua de los mismos. Esta jerarqua es la siguiente :
1 Biimplicador
=

2 Bidusyuntor
=

3 Implicador, replicador
=
,
4 Conjuntor y disyuntor
=
,
5 Inversor
=
~
4.4. SIGNOS AUXILIARES.- Son los que determinan el alcance de los conectivos. Estos son:
Los parntesis ( )
Los corchetes [ ]
Llaves
{ }

Tambin se pueden usar puntos auxiliares.

228

TABLAS DE VERDAD
Ludwig Wittgenstein, filsofo y lgico austriaco, fue creador de la filosofa analtica y de las tablas de verdad
(1921).
1. TABLA DE LA VERDAD.- Es un grfico que nos permite mostrar el valor de verdad del esquema o frmula
proposicional, considerando las combinaciones posibles entre los valores de verdad de las variables que lo
componen y el operador respectivo. La tabla de verdad permite hallar la matriz principal que define al esquema
proposicional; de manera que si esta matriz resulta tautolgica, el razonamiento dado ser vlido. Para
construir una tabla de verdad se debe entrecruzar una recta vertical con una horizontal, llamndose margen al
lado izquierdo y cuerpo al lado derecho. En la parte superior del margen se colocan las variables, y en la parte
superior del cuerpo la frmula proposicional.

Margen

Variables

Arreglos

V
V
F
F

V
F
V
F

Cuerpo

Frmula compuesta

[(p q) p]
V
F
F
F

V
V
V
V

Valores Parciales

V
V
F
F

Cuerpo

Matriz principal
conceptual

Debajo de las variables, en la parte inferior del margen se colocan los E.P.M. (estados posibles del mundo), es
decir, las combinaciones o arreglos posibles entre la verdad y la falsedad de las proposiciones compuestas. El
nmero de estas filas o arreglos queda establecido por los valores de verdad y el nmero de variables mediante la
siguiente frmula: 2n, donde la base representa el nmero de valores de verdad y el exponente el nmero de
variables que intervienen en el esquema molecular. Ejemplo:
p q
= 22
= 4, tendremos 4 arreglos
(p q) (q r) = 23
= 8, tendremos 8 arreglos
Debajo de la proposicin compuesta (esquema), bajo el smbolo de unin de las variables, se colocan los valores
veritativos (V o F) que estn determinadas por las reglas de las proposiciones componentes.
REGLAS DE LAS PROPOSICIONES
CONJUNCIN
La proposicin compuesta conjuntiva es verdadera slo si las 2 componentes son verdaderas,
En cualquier otro caso es falsa.
1.- Si es verdadera la primera proposicin:
EL HOMBRE ES RACIONAL
Y tambin es verdadera la segunda proposicin
EL HOMBRE ES MORTAL
Es verdadera toda la conjuncin.

229

V=VV

EL HOMBRE ES RACIONAL Y EL HOMBRE ES MORTAL

VV= V
2.-Si es verdadero el primer conjuntivo:
EL HOMBRE ES RACIONAL
Y falso el segundo
EL HOMBRE ES INMORTAL
La conjuncin en su totalidad es falsa.
EL HOMBRE ES RACIONAL Y EL HOMBRE ES INMORTAL
VF=F
3.-Si es falsa la primera proposicin:
EL HOMBRE ES INVERTEBRADO
Y verdadera la segunda proposicin
EL HOMBRE ES MORTAL
La conjuncin en su totalidad es falsa.
EL HOMBRE ES INVERTEBRADO Y EL HOMBRE ES MORTAL
FV=F
4.-Si es falsa la primera proposicin:
EL HOMBRE ES INVERTEBRADO
Y falso el segundo conjuntivo
EL HOMBRE ES INMORTAL
La conjuncin en su totalidad es falsa.
EL HOMBRE ES INVERTEBRADO Y EL HOMBRE ES INMORTAL
FF=F
Su tabla es verdad es:
p

V
V
F
F

V
F
V
F

V
F
F
F

DISYUNCIN.
Tenemos:
Disyuncin Inclusiva (dbil).- Es verdadera cuando por lo menos una de sus componentes es verdadera Es
falsa nicamente cuando las 2 componentes son falsas
F=FF
1.- Si el primer disyuntivo es verdadero:
EL FILSOFO ES RACIONALISTA
Y tambin es verdadera la segunda proposicin
EL FILSOFO ES SABIO
La disyuncin como un todo es verdadera.
EL FILSOFO ES RACIONALISTA O ES SABIO

230

VV=V

2.-Si es verdadero el primer disyuntivo:

EL FILSOFO ES RACIONALISTA
Y el segundo disyuntivo es falso
EL FILSOFO ES UN SER ABSOLUTO
La disyuncin es verdadera.
EL FILSOFO ES RACIONALISTA O UN SER ABSOLUTO
VF=V
3.-Si la primera proposicin es falsa:
EL FILSOFO ES UN SER INMATERIAL
Y verdadera la segunda proposicin
EL FILSOFO ES SABIO
La disyuncin en su totalidad es verdadera.
EL FILSOFO ES UN SER INMATERIAL O ES SABIO
FV=V
4.-Si el primer disyuntivo es falso:
EL FILSOFO ES UN SER ABSOLUTO
Y falso el segundo disyuntivo
EL HOMBRE ES INMORTAL
La disyuncin resultante es falsa.
EL FILSOFO ES UN SER ABSOLUTO O UN SER INMORTAL
FF=F
Su tabla de verdad es:
p

V
V
F
F

V
F
V
F

V
V
V
F

Disyuncin Exclusiva (fuerte).- Es verdadera cuando solo una de sus componentes es verdadera Es falsa
cuando las 2 proposiciones tienen igual valor veritativo.
F = FF, VV
Su tabla de verdad es:
p

V
V
F
F

V
F
V
F

F
V
V
F

231

CONDICIONAL. Es falsa nicamente cuando el antecedente es verdadero y el consecuente es falso

F = V F en el resto de casos es verdadero.
1.- Cuando el antecedente es verdadero:
TODAS LAS FRUTAS SON NUTRITIVAS
Y el consecuente tambin es verdadero
ALGUNAS FRUTAS SON NUTRITIVAS
El condicional es verdadero.
SI TODAS LAS FRUTAS SON NUTRITIVAS, ENTONCES ALGUNAS FRUTAS SON
NUTRITIVAS
VV=V
2.- Si el antecedente es verdadero:
TODAS LAS FRUTAS SON NUTRITIVAS
Y el consecuente es falso
NINGUNA FRUTA ES NUTRITIVA
El condicional en su totalidad es falso.
SI TODAS LAS FRUTAS SON NUTRITIVAS, ENTONCES NINGUNA FRUTA ES NUTRITIVA
VF=F
3.- Cuando el antecedente es falso:
NINGUNA FRUTA ES NUTRITIVA
Y el consecuente es verdadero
TODAS LAS FRUTAS SON NUTRITIVAS
El condicional es verdadero.
SI NINGUNA FRUTA ES NUTRITIVA, ENTONCES TODAS LAS FRUTAS SON NUTRITIVAS
FV=V
4.- Cuando el antecedente es falso:
NINGUNA FRUTA ES NUTRITIVA
Y el consecuente tambin es falso
ALGUNAS FRUTAS NO SON NUTRITIVAS
El condicional es verdadero.
SI NINGUNA
NUTRITIVAS

FRUTA

ES

NUTRITIVA,

FF=V
Su tabla de verdad es:
p

V
V
F
F

V
F
V
F

V
F
V
V

232

ENTONCES

ALGUNAS

FRUTAS

NO

SON

BICONDICIONAL. Es verdadera cuando las 2 proposiciones componentes tienen el mismo valor

veritativo V = VV, FF es falsa cuando sus valores veritativos son distintos.
1.- Cuando la primera proposicin es verdadera:
ELENA TIENE FIEBRE
Y la segunda tambin es verdadera

V = VV, FF

EST ENFERMA
El bicondicional es verdadero.
ELENA TIENE FIEBRE SI Y SLO SI EST ENFERMA
VV=V
2.- Si la primera proposicin es verdadera
ELENA TIENE FIEBRE
Y la segunda es falsa
EST BIEN DE SALUD
El resultado es falso.
ELENA TIENE FIEBRE SI Y SLO SI EST BIEN DE SALUD
VF=F
3.- Si la primera proposicin es falsa:
ELENA NO TIENE FIEBRE
Y la segunda es verdadera
EST ENFERMA
El bicondicional es falso.
ELENA NO TIENE FIEBRE SI Y SLO SI EST ENFERMA
FV=F
4.- Cuando la primera proposicin es falsa:
ELENA NO TIENE FIEBRE
Y la segunda es falsa
NO EST ENFERMA
El bicondicional es verdadero.
ELENA NO TIENE FIEBRE SI Y SLO SI NO EST ENFERMA"
FF=V
Su tabla de verdad es:
p

V
V
F
F

V
F
V
F

V
F
F
V

233

NEGACIN. La negacin cumple la funcin de negar una afirmacin o de afirmar una negacin. Su tabla de
verdad es:

V
F

~P

F
V

NOTA.- Cuando encontremos que en la matriz principal o cifra conceptual de una tabla de verdad todos
sus valores son verdaderos (V), estamos frente a un esquema Tautolgico ( T ), cuando el esquema
resultante todos sus valores son falsos (F), es un esquema Contradictorio ( ^ ) y cuando los valores de
un esquema son V y F se llama Contingente o Consistente ( Q ).

234