República Bolivariana de Venezuela

Ministerio Del Poder Popular Para La Educación

Universitaria, Ciencia y Tecnología.
Instituto Universitario de Tecnología Agro-Industrial
Región Los Andes – Sede San Cristóbal
PNF-INFORMÁTICA

“LÓGICA PROPOSICIONAL”
Taller #1

Docente:
Profesora. María Ismay, Roa Zambrano
Autor:
Maity Yasmi, Ramírez Gómez,
CI. 10.799.365
Sección:
C / G1

Matemática I
San Cristóbal, Mayo del 2018
 INTRODUCCIÓN

Con frecuencia se usa la expresión “lógica” en la vida cotidiana cuando se quiere decir que
alguna cosa, expresión o explicación es fácil, obvia y correcta. Asimismo, cuando algún procedimiento
resulta incorrecto decimos, por ejemplo, que “eso no tiene lógica”.

Sin embargo, no es lo mismo encontrar este término en una conversación entre amigos que en un libro
de lógica.

Una manera de entender esta palabra se basa en su uso descriptivo según el cual lo que es
“lógico” constituye una especie de reino aparte en el que lo razonable está dado de manera “ideal”,
independientemente de cómo razonamos nosotros en la vida cotidiana. En ese sentido, la lógica
supone que hay una manera “objetiva” y perfecta del razonar en la que la función de la Lógica es
estudiar ese reino aparte, es decir, de describirlo.

En la semántica de los enunciados refiere al significado, a la interpretación que le asignemos a

los enunciados formados por símbolos y caracteres bien definidos de un lenguaje lingüístico; estos
adquieren una semántica tal que puede ser determinadas por ser verdaderos y falsos.

Se puede estudiar la semántica desde 3 ángulos, estas son, la semántica lingüística, la

semántica lógica y la semántica de las ciencias cognitivas (psicología), pero naturalmente el tema que
nos atañe es el estudio desde punto de vista de la semántica lógica.

En la semántica lógica, se usan los mismos símbolos y caracteres para realizar programas y/o
crear páginas web por códigos; se utilizan para estructurar una entrada, luego lo que hace el explorador
web como Google Chrome, Mozilla, Opera o cualquier otro navegador web es “renderizarlo” para que
lo podamos ver en un idioma en particular.

En lógica proposicional es igual, tiene un estándar, aunque limitado, pero sirve para entender
cómo se comportan las proposiciones por medio de los conectivos lógicos y los signos de agrupación,
por lo general, las proposiciones se simbolizan con letras minúsculas como p, q y proposición r tal que
pueden ser determinados como verdaderos V y falsos F, estos valores de verdad son los únicos valores
semánticos formalizados en lógica proposicional, en cuanto la semántica del significado de los
argumentos de las proposiciones dadas se toman de manera intuitiva pero no son parte del estudio de
la lógica proposicional pero si de la lógica de predicados aplicado solo para las matemáticas.

El objeto del presente trabajo es, sin pretender hacer un tratado académico, presentar de
manera esquemática y ordenada las principales definiciones, clasificaciones, reglas, métodos y
estrategias que faciliten la comprensión de la lógica matemática.

También se desarrollarán una serie de ejemplos para diferenciar dos tipos de enunciados, esto son,
las proposiciones simples y compuestas; así como también se describirán los valores de verdad de las
proposiciones y finalmente veremos de qué dependen sus valores de verdad de cada uno de estos
enunciados.
1. DEFINICIÓN DE LÓGICA

El término “lógica” proviene del vocablo griego logos, el cual equivale tanto para “razón” como para
“palabra”. La Lógica es, entonces, el estudio del logos –razón- en vistas de su dirección adecuada.

Un aspecto que distingue al hombre de los seres vivos es la razón, pero esta posee dos aspectos: uno
inmediato e intuitivo al que se denomina “razón intelectiva”, y otro mediato o discursivo, llamado
“razón raciocinante”.

El desarrollo del conocimiento humano ha simplificado estos conceptos en “intelecto” para el primer
aspecto, y al segundo sólo como “razón”.

Si bien la razón es lo más propio del hombre, entonces todas sus acciones estén regidas por ella, a
diferencia de los animales quienes están guiados por el instinto, por lo que la Lógica se ha definido con
frecuencia como la ciencia del razonamiento, entendiendo ésta como el pensamiento en el que se
sacan conclusiones partiendo de premisas.

Entonces, podríamos definir a la Lógica como el estudio de los métodos y principios usados al distinguir
argumentos correctos o incorrectos.

2. HISTORIA DE LA LÓGICA

Según Kant (2000) la Lógica actual procede de la analítica de Aristóteles, filósofo griego considerado
como el padre de la lógica. La expuso como órganon (cuyo significado es “instrumento”) y la dividió en
analítica y dialéctica. Es por esto que muchos argumentan que “Aristóteles enseñó a los hombres a
razonar”.

Posteriormente, surgió la Escuela megárico-estoico. Uno de los principales representantes de esta

escuela fue Crispo de Solos, en el siglo III a.C. Los megárico-estoicos formularon la primera exposición
de una lógica de proposiciones, en oposición a las teorías de Aristóteles, que parecen dar más
importancia a la lógica de los términos.

Por lo demás, la lógica no ha ganado mucho en contenido desde Aristóteles hasta ahora.

La historia de la Lógica occidental puede dividirse en cinco períodos:

1. El período clásico antiguo (hasta el siglo VI)

2. La alta edad media (del siglo VII al XI)
3. La escolástica (del siglo XI al XV)
4. La época de la Lógica moderna “clásica” (del siglo XVI al XIX)
5. La Lógica matemática (a parir de la mitad del siglo XIX)

En este último período podemos identificar a Bertrand Russell como el máximo exponente, quien en
colaboración con A.N.Whitehead, construyeron el documento lógico más importante de nuestra época:
los Principia Mathematica, en donde se formuló un sistema completo de lógica matemática y, además
de otras geniales aportaciones, crearon el lenguaje formalizado que más aceptación ha tenido en el
mundo académico.
3. ¿QUÉ ES UNA PROPOSICIÓN?

Para entender lo que es una proposición contemplaremos algunos conceptos previos como oraciones
aseverativas, juicio de valor y enunciado abierto, si bien, estos conceptos no son primordiales, nos
ayudará a entender el significado de las proposiciones más fácilmente.

Oraciones Aseverativas

Las oraciones aseverativas son enunciados que justifican un hecho afirmativo o negativo llamadas
predicados sobre el sujeto.

Ejemplo.

 Las gallinas tiene pico.

 Mi arroz con pollo es muy rico.
 La pista estaba vacía

Juicio De Valor

Un juicio de valor es una y solo una característica y/o condición de algo, alguien, o a un suceso en
particular donde realizamos afirmaciones y negaciones.

Ejemplo “si Pablo es arquitecto entonces sabe diseñar planos“, podemos ver que hay 3 juicios de valor,
dos de ellas indican las características de Pablo, es decir, “Pablo es arquitecto” y “Pablo sabe diseñar
planos”, y la tercera es la condición “si Pablo es arquitecto”, lo cual le da valor a “entonces sabe diseñar
planos”, este tipo justificaciones nos dan la posibilidad de negar o afirmar un enunciado, si es que se
da el caso.

Por ejemplo “La Luna es más pequeña que la tierra”, aquí para lógica matemática, el predicado sólo
sería “es más pequeña que” y los sujetos serían “La Luna” y “La Tierra“.

Enunciado Abierto

Un enunciado abierto es una oración aseverativa que no se sabe si es verdadero o falso.

Los enunciados son un acto de habla expresado por medio de una oración y no son oraciones
propiamente dicha, los enunciados dependen en qué contexto se hable.

Las oraciones son únicamente un conjunto de palabras que dicen algo y nosotros somos lo que le damos
una interpretación.

Ejemplos:

Una oración puede significar diferentes enunciados según el contexto que esté, por ejemplo:

1) X < que 7 es un enunciado abierto.

En efecto, es un enunciado abierto porque no sabemos qué valor pueda ser X para indicar la falsedad
o verdad del enunciado.

X < que 7, es una oración aseverativa que afirma que X es menor que 7. Estas afirmaciones son dudosas
porque no hay más datos que reafirman que el valor de X sea menor que 7, no sabemos si el valor de x
es un número real, un número complejo, incluso un grupo de personas, animales o cualquier otra cosa
porque no se especificó el valor de X, simplemente no se sabe si es verdadero o falso.

Y al revés, diferentes oraciones pueden significar el mismo enunciado, ejemplo:

 ¿Cuál es el valor de x?
 Hallar el valor de x.

2) ∀ x X< que 7 es una proposición.

El segundo, el símbolo ∀ que significa “para todo”, nos dice que el valor de X debe cumplir siempre la
condición X < 7 sin importar cuál sea.

La Proposición

Es la expresión lingüística del razonamiento, que se caracteriza por ser verdadera o falsa
empíricamente, sin ambigüedades.

Una proposición es una oración con valor referencial o informativo, de la cual se puede predicar su
veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

Son proposiciones las oraciones aseverativas, las leyes científicas, las fórmulas matemáticas, las
fórmulas y/o esquemas lógicos, los enunciados cerrados o claramente definidos.

No son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados
abiertos no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones aritméticas.

Las proposiciones se representan por letras minúsculas: p, q, r, s, t, u, etc.

Ejemplos:

 l: 2 es un numero entero (V).

 m: La luna es un planeta (F).
 s: 3+2 = 5 (V)

Los siguientes ejemplos no son proposiciones:

 ¿Te vas?
 Compra cinco azules y cuatro rojas.
 x=3

Las proposiciones en matemáticas son tomados como proposiciones bivalentes, es decir, no existe otro
valor semántico formalizado que no sean el de ser verdadero o falso.

Como símbolos, los valores de verdad de las proposiciones son los únicos valores semánticos
formalizados donde se le admite una simbolización, esta son el de verdadera V y falsa F.
Ejemplos de Proposiciones Lógicas:

 p: Todos los perros tienen cuatro patas. (Verdadero)

 q: Una gallina es un perro. (Falso)
  r: La gallina tiene cuatro patas. (Falso)
 s: (Verdadero)

Asimismo, se establece una clasificación para las proposiciones:

1. Proposiciones Simples o Atómicas

Son aquellas que carecen totalmente de conectivos lógicos y que, por lo tanto, son inseparables. En
este grupo se encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o
atribuye una característica respecto de un objeto, como por ejemplo, Juan Pérez es profesor; y las
proposiciones relacionales, en las cuales existe una relación de dependencia, estableciendo un enlace
entre dos o más objetos, como por ejemplo, Caracas es la capital de Venezuela.

Ejemplos:

 p: Bolivia es un país.
 q: El lunes es el primer día de la semana.
 r: Los libros son para leer.

Existen otras proposiciones donde la verificación depende únicamente del espectador, es decir, de la
experiencia misma, algunas de ellas vienen con sujeto y sin sujeto.

Ejemplos:

 p: En Margarita hace sol. (Con sujeto)

 q: Ayer hizo frío. (sin sujeto)
 r:Todos salieron de paseo ( Con sujeto)
 t: Llueve mucho. (sin sujeto)

En las proposiciones compuestas del tipo condicional suelen usarse proposiciones que no tiene sujeto,
mientras que en las proposiciones simples en matemáticas siempre suelen llevar un sujeto y un
predicado.

2. Proposición Compuesta o Molecular

Son aquellas que resultan de la combinación de varias proposiciones simples, unidas por uno o más
conectivos lógicos y que pueden ser separadas y descompuestas en proposiciones más simples. Su valor
de verdad depende del de las proposiciones que la componen.

Ejemplo de Proposiciones Compuestas o Moleculares:

Enunciado 1: “Mi loro es un ave y tiene dos patas”.

Se puede separar en:

Enunciado 2: “Mi loro es un ave”

Enunciado 3: “Mi loro tiene dos patas“.

Los enunciados por separado son enunciados abiertos y no proposiciones.

El valor de verdad de las proposiciones compuestas no depende únicamente de sus proposiciones o

enunciados abiertos por separado, sino por su relación entre ellas.
Las proposiciones en lógica proposicional o lógica de enunciados se restringen únicamente a símbolos,
una proposición simbólicamente se presenta por letras minúsculas, el único inconveniente es que no
se puede diferenciar entre una proposición simple o compuesta, lo únicamente importante son sus
valores de verdad obviando completamente el significado de los argumentos.

Representaciones Matemáticas de las Proposiciones Simples y Compuestas

P= Mi loro es un ave

q= Mi loro tiene dos patas

r= Mi loro es un ave y tiene dos patas p y q.

La última proposición, escribirlo simplemente como proposición r no indica si nuestra proposición es

simple o compuesta ya que escribirlo como proposición r = p y q, no demuestra que p y q por si solos
sean simples, también pueden ser compuestas.

r= p y q

Aquí, proposición r = p y q, se ha creado una proposición con otras proposiciones por medio del nexo
“y“, este se llama conectivo conjuntivo, conjuntiva lógica o conjunción lógica. Este tipo de conectivos
sirven para crear todo tipo de proposiciones más complejas.

4. CONECTIVOS LÓGICOS

Los conectivos lógicos, llamados también operadores, son símbolos de lenguaje formal que reemplazan
a los conectivos gramaticales y al adverbio de negación No.

Los conectivos lógicos permiten relacionar proposiciones simples para convertirlas en proposiciones
compuestas.

Estos conectivos son los que permiten realizar las Operaciones.

Símbolo Operación asociada Significado

^ Conjunción
V Disyunción
V Disyunción exclusiva
∼ Negación
 Condicional
 Bicondicional
Valor Lógico
“y”, “pero”, “sin embargo”, “aunque”
“o” (en sentido incluyente)
“o” ( en sentido excluyente)
“no”, “no es cierto que”, “es falso que”
“implica”, “…entonces”…”, “luego”
“es equivalente a”, “… si y solo si…”

Para entender las posibles combinaciones de valores de verdad de las proposiciones, donde
involucramos los operadores lógicos, expresados en una tabla de verdad, es importante el uso de dos
constantes opuestas.

En lógica proposicional, los únicos valores semánticos formalizados para una proposición es el de
verdadero y falso. Por lo general, se representan así:

 V(p) = V
 V(p) = F
En estas representaciones, el valor de p es una proposición, pero será tratado como variable
proposicional únicamente por los únicos 2 valores de verdad que posee, es por ello que también se le
llama proposición bivalente.

V (p) = V = 1

V (p) = F = 0

Estos dígitos son usados en circuitos electrónicos que indica que la corriente o información es
representado con un interruptor cerrado donde el dígito 1 indica que la corriente pasa tranquilamente
y 0 indica que el interruptor está abierto y la información no pasa por el circuito lógico.

Cada proposición posee un valor lógico el cual se denota VL.

VL es igual a 1 si la proposición es verdadera y VL es igual a 0 si la proposición es falsa.

Ejemplos de Valor Lógico:

 I: 2 es un numero entero (V).

VL (l) = 1
 m: La luna es un planeta (F).
VL (m) = 0
 s: 3+2 = 5 (V)
VL(s) = 1
5. ¿QUE ES UNA TABLA DE VERDAD?

Es la representación gráfica del ordenamiento en forma de una tabla de los valores de verdad que
podrían tomar las proposiciones.

La tabla de valores de verdad lógica nos ayuda tener una mejor vista del comportamiento de cada uno
de los conectivos lógicos. Un ejemplo de una tabla de verdad lógica es la siguiente.

Ejemplo de una tabla de verdad:

Sean dos proposiciones p y q, definimos un conector lógico cualquiera © con la siguiente tabla de
verdad:

p q p©q Este es el comportamiento de la validez de la proposición p © q con sus posibles

V V F valores de verdad que se han definido como ejemplo.
V F F
F V F El ejemplo sirve como esquema de todas las posibles valores de verdad de un
F F V conector lógico específico como este © y cada uno de los conectores, ya que
estos poseen comportamientos válidos diferentes.

La tabla de verdad en lógica sirve para entender el comportamiento de las proposiciones lógicas usando
los esquemas moleculares para simplificar los argumentos, naturalmente eso dependerá de los
numerosos conectivos lógicos que tengan.

A continuación analizaremos las tablas de la verdad asociadas a cada conectivo, para desarrollar
ejemplos usando sus propiedades.
Tablas De Verdad De Los Conectivos Lógicos

Los valores de verdad plasmadas en una tabla de verdad de todas las conectivas lógicas, de esta manera
podemos ver el comportamiento de cada una de ellas, por lo general siempre se usan como mínimo
dos variables proposicionales p y q con excepción de la negación.

1. TABLA DE VERDAD DE LA NEGACIÓN, símbolo (∼p).- Este operador permite cambiar el valor
de verdad de las proposiciones; cambia de verdadero a falso y viceversa, la negación de una
proposición se escribe ~ p.

La negación lógica tiene la propiedad de cambiar la validez de las proposiciones, lo única cosa
que hace este operador es contradecir una proposición dada. La tabla de verdad de la negación
seria la siguiente:

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

P ∼P
Juan es flaco
Negación ~, ¬, \ ~p
Juan no es flaco
V F
F V
Los términos gramaticales más usados son:

“NO” “NO ES VERDAD” “NO ES CIERTO QUE” “NI”

Alguna propiedad de la Negación. Sean las proposiciones p, q tenemos:

 Ley de la doble negación:

 V(p) = V representa el conjunto de valores de verdad
 V (~ p) = F
 V(~ (~ p)) = V representa el conjunto de valores de verdad

Esto es para el caso que p es falsa, entonces:

 V(p) = F
 V(~ p) = V representa el conjunto de valores de verdad
 V representa el conjunto de valores de verdad(~ (~ p)) = F

2. TABLA DE VERDAD DE LA CONJUNCIÓN (p∧q).- Este operador solo es VERDADERO, cuando las
dos proposiciones son VERDADERAS, en otro caso, es FALSA.
La conjunción lógica solo valora la validez afirmativa únicamente de las proposiciones.

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

P q p∧ q
p = El gato es un felino. (Verdadero)
q = La paloma es un ave. V V V
Conjunción ,;. p∧q (Verdadero) V F F
F V F
Sería V (p ∧ q) = V
F F F
Los términos gramaticales más usados son:

“Y” “PERO” “MAS” (sin tilde) “SIN EMBARGO”

“ADEMÁS” “AUNQUE”, “A LA VEZ” “TAMBIÉN”
Y los signos de puntuación: coma, punto y coma, y punto.
Algunas propiedades de la Conjunción. Sean las proposiciones p, q y r, tenemos:

 Ley asociativa: p ∧ q ∧ r = p ∧ (q ∧ r).

Existencia del elemento neutro: V (p) ∧ V = V (p).

 Ley conmutativa: p ∧ q = q ∧ p.

Existencia del elemento complementario: V (~ p ∧ p) = F \).

La negación de una conjunción es: ~ (p ∧ q) = ~ p ∨ ~ q

3. TABLA DE VERDAD DE LA DISYUNCIÓN INCLUSIVA “O” (p v q).- La disyunción inclusiva es más

amable, para ella, una proposición es verdad si por lo menos una proposición componente es
verdadera.
Este operador solo es FALSO cuando las dos proposiciones son FALSAS, en otro caso, es
VERDADERA.
Aquí la tabla.

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

p q pvq
“Mi gato es un ave o es un animal”
P= mi gato es un ave (Falso) V V V
Disyunción
O pvq q= mi gato es un marsupial (Falso) V F V
Inclusiva Sería V (pvq)= F
F V V
F F F
Los términos gramaticales más usados son: “O”

Algunas propiedades de la Disyunción Inclusiva. Sean las proposiciones p, q y r tenemos:

 Ley asociativa: (p ∨ q) ∨ r = p ∨ ( q ∨ r)

Existencia del elemento neutro: V (p) ∨ F = V (p)

 Ley conmutativa: p ∨ q = q ∨ p
 Leyes distributivas de la disyunción inclusiva y la conjunción:
 p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r)
 p ∧ (q ∨ r) = p ∧ q) ∨ p ∧ r)
 Existencia del elemento complementario:
V (~ p ∨ p) = V
 La negación de una disyunción resulta una conjunción:

~ (p ∨ q) = ~ p ∧ ~ q
4. TABLA DE LA VERDAD DE LA DISYUNCIÓN EXCLUSIVA (p v q).- Este operador es FALSO cuando
las dos proposiciones son FALSAS o VERDADERAS, en otro caso, es VERDADERO.

La disyunción exclusiva, solo una y solo una sola verdad en una de sus proposiciones
componentes para que la proposición compuesta sea verdad.
Alternativa entre dos cosas opuestas de las que debemos optar.

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

“O estas inmóvil o estás en p q pvq
movimiento.”
pvq P= o inmóvil (V,F)
V V F
Disyunción
O p∆q q= o estás en movimiento (V,F) V F V
Exclusiva
F V V
Sería V (p v q)= V
F F F
Los términos gramaticales más usados son: “O…O”
Algunas propiedades de la disyunción exclusiva. Sean las proposiciones p, q y r, tenemos:

 Ley asociativa: (p q) r = p (q \bigtriangleup r).

 Ley conmutativa: p q = q p.
 Ley distributivas con la conjunción lógica: p ∧ (q r) = (p ∧ q) (p ∧ r)

5. TABLA DE LA VERDAD DE LA CONDICIONAL LÓGICA (p→q).- Este operador solo es FALSO,

cuando la primera proposición es VERDADERA, y la segunda es FALSA, en otro caso, es
VERDADERA.

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

“Sí p, q”, “cuando p, q”, p q p→q
“solo si q, p”, “Sí p, Sí 1+1=2, entonces 10<15
entonces q”, “q, si p”, “q, P= 1+1=2 (verdadero) V V V
Condicional pues p”, “p solo si q”, “q p→q q= 10<15 (verdadero) V F F
con la condición de p”, “se
tiene q, si se tiene p”, etc… Sería V (pq)= V
F V V
F F V

Los términos gramaticales más usados son:

“Sí p, q” “cuando p, q” “solo si q, p”

“Sí p, entonces q” “q, si p” “q, pues p”
“p solo si q” “q con la condición de p” “se tiene q, si se tiene p”
“p solamente si q” “q cuando p” “q puesto que p”
“p implica q” “q siempre que p” “q porque p”
“los p son q” “p por lo tanto q” “q debido a que p”
Esto solo aplica a la lógica proposicional ya que una proposición condicional se simboliza a secas
así p→q, donde no se toman en cuenta el significado de los argumentos, sino sus valores de
verdad y nada más.

Algunas propiedades de LA CONDICIONAL. Sean las proposiciones p, q y r, tenemos:

Estas propiedades se encuentran relacionadas con la implicación lógica de manera simbólica
para que puedan diferenciarse como la lógica de la condicional actúa sobre sí misma.
  Ley distributiva: p → ( q → r ) \Rightarrow ( p → q ) → ( p → r )
 Transitividad: ( p → q ) → ( q → r) = ( p → r )
 Conmutatividad del antecedente: p → (q → r) = q → ( p → r)
 Ley de identidad: p → p
 p → q = ~ p∨q, podríamos decir que la condicional lógica es un tipo de disyunción.
 ~ (p →q) = p ∧ ~q, la negación de la condicional es un tipo de conjunción.

6. TABLA DE VERDAD DE LA IMPLICACIÓN

Para el caso de la implicación lógica, su tabla de verdad es siempre verdadera, la condicional
material solo trabaja con los valores de verdad de las proposiciones sin importar el argumento
de la misma, en cambio, la implicación trabaja con la semántica de las proposiciones, una debe
deducirse de la otra.

Tabla de verdad de la implicación lógica, tendría esta única forma:

p q p⇒q
V V V
F F V

La implicación lógica no se limita simplemente a sus valores de verdad, también en su

argumento, pero formalizar los argumentos solo en el lenguaje matemático sería entrar en el
terreno de la lógica de primer orden.
Por otro lado, la implicación lógica ni siquiera debería tener tabla de verdad, solo se usa para
relacionar argumentos, como el signo igual, es decir, no es un operador propiamente dicho.
Solo los conectivos lógicos excepto la implicación y la equivalencia lógica tienen tablas de
verdad, aunque más abajo se muestra una tabla de verdad para la implicación, pero con
limitaciones, sirve para indicar que cosa implica y que no implica cuando se compara esquemas
moleculares.
7. TABLA DE LA VERDAD DE LA BICONDICIONAL (p↔q).- Este operador es VERDADERO, cuando
las dos proposiciones son VERDADERAS o FALSAS, en otro caso, es FALSO.

Conectivo Notación Aplicación Ejemplo Tabla de la Verdad

y Símbolo
“p si y solo si q”, “p si y X es par si y sólo si es
solamente q”, “p implica q múltiplo de 2 p q p↔q
y q implica p”, “p cuando y p↔q≡q↔p V V V
solo cuando q”, “p es igual p↔q P= x es par (verdadero)
Bicondicional V F F
a q”, “p entonces y solo q= x es múltiplo de 2
entonces q” (verdadero) F V F
Sería V(p ↔ q)=V
F F V
Los términos gramaticales más usados son:

“p si y solo si q” “p si y solamente q” “p implica q y q implica p”

“p cuando y solo cuando q” “p es igual a q” “p entonces y solo entonces q”

La bicondicional o también llamado coimplicador o doble implicación.

 La bicondicional lógica con símbolo ↔ es conectivo lógico que conecta dos proposiciones
p y q formando una nueva proposición p ↔ q, tal que su valor de verdad es verdadera si
 las proposiciones componentes es verdadera y falsa si sus proposiciones componentes
tiene valores de verdad opuestos:
p ↔ q ≡ ~ (p ↮ q) ya que el símbolo ↮ representa el opuesto del símbolo de la
bicondicional.
 La propiedad de este conectivo lógico es de doble filo, donde dos proposiciones siempre
van de la mano, una depende de la otra y viceversa.
 Dos proposiciones bajo el conector de la bicondicional son mutuamente dependientes, no
existe jerarquía entre las dos.

Algunas propiedades de la bicondicional. Sean las proposiciones p, q tenemos:

 Para la bicondicional de dos proposiciones p y q implica que p sea antecedente de la

consecuente q y simétricamente también q sea antecedente del consecuente p.
Simbólicamente debe cumplirse las dos siguientes relaciones:
p→q
q→p
 Es importante tener en cuenta que la bicondicional lógica es conmutativa:
Se cumple que p ↔ q ≡ q ↔ p
 Relación entre la bicondicional lógica con la condicional lógica y la conjunción lógica: dos
proposiciones dependen mutuamente entre ellas, significa que cualquiera de ellas puede
ser el antecedente de la otra y viceversa, lo cual se cumple que: p ↔ q como también q
↔ p y como cualquiera de estas combinaciones es verdadera resulta que la bicondicional
también es verdadera, por tanto, logramos una nueva relación entre bicondicional con la
conjunción lógica y condicional material de la siguiente manera: (p → q) ∧ (q → p) ≡ p ↔ q
 Estas dos proposiciones condicionales debe cumplirse simultáneamente para que sean
mutuamente dependientes, por tanto requiere de una conjunción lógica entre ellas dos,
entonces la bicondicional lógica de p y q seria:
(p ↔ q) ≡ (p → q) ∧ (q → p)
 Algunas propiedades más de la bicondicional:
p ↔ q ≡ (p ∧ q) ∨ (~ p ∧ ~ q)
p ↔ q ≡ ~ (p ∆ q) \)

Combinaciones de variables proposicionales

Para cualquier esquema molecular, el número de combinación depende de cuantas variables

proposicionales tenga tal esquema, como por ejemplo este:

{ [ ( ~ p ∨ q ) → ( q ∧ p ) ] ↔ [( r → p ) ↔ ( p ∆ q )] } → [(r ∨ q) ↔ (r ∧ q)]… (A)

Entonces, debemos contabilizar cuántas variables proposicionales tiene, para este caso, notamos que
tiene 3 variables proposicionales y son p, q y r.
Luego debemos obtener todas las combinaciones posibles de los valores de verdad entres las variables
identificadas de cada una de los conectivos lógicos que las vincula. Por ejemplo, para una sola variable
proposicional p, tenemos:

p 2 combinaciones para la variable p.

V
F
Para dos variables proposicionales p y q:

p q
V V 4 combinaciones posibles para las variable p y q
V F
F V
F F

Para 3 proposiciones p, q y r.

p q r
V V V
V V F
V F V 8 combinaciones posibles para las variable p, q y r.
V F F
F V V
F V F
F F V
F F F

Se puede observar que el número combinaciones de valores de verdad para “n” variables
proposicionales resulta “2n” combinaciones posibles, es decir, para 4 variables proposicionales p, q, r
y s sería 24 =16.

A continuación se realizó un ejemplo sencillo de cómo operar una tabla de verdad con esquemas
simples y sencillos para tener una idea de su uso.

Ejemplos de tablas de verdad de los esquemas moleculares (Cómo realizar una tabla de verdad)

Para realizar diferentes tablas de verdad, se deben tener en cuenta los signos de agrupación en lógica
para cualquier tipo de proposiciones compuestas, ¿por qué?, porque es incorrecto escribir
proposiciones de la siguiente manera:

p↔q∆s

p→s∨q

La manera correcta de escribirlas es así:

(p ↔ q) ∆ s ó p ↔ (q ∆ s)

(p → s) ∨ q ó p → (s ∨ q)
Estas proposiciones simbólicas se les llaman esquemas moleculares y es la típica “tabla de verdad p, q,
r”. Para realizar una tabla de verdad de estos esquemas primero debemos desarrollar lo que está
encerrado entre paréntesis.

Veamos un ejemplo:

(p ↔ q) ∆ s ó p ↔ (q ∆ s)

1. Primero calculamos los valores de verdad de la bicondicional porque se encuentra entre

paréntesis.

p q s (p ↔ q)
V V V V LA BICONDICIONAL (p↔q).- Este operador es VERDADERO,
V V F V cuando las dos proposiciones son VERDADERAS o FALSAS, en otro
V F V F caso, es FALSO.
V F F F
F V V F
F V F F
F F V V
F F F V

2. Luego calculamos los valores de verdad en color de la bicondicional con s conectada por la
disyunción exclusiva.

s (p ↔ q) (p ↔ q) v s
V V F LA DISYUNCIÓN EXCLUSIVA ( v ).-Este operador es FALSO
F V V cuando las dos proposiciones son FALSAS o VERDADERAS,
V F V en otro caso, es VERDADERO.
F F F
V F V
F F F
V V F
F V V
1 2

6. TIPOS DE TABLAS DE VERDAD

Existen 3 tipos de tablas de verdad según el tipo de esquema molecular que se trate, esta son, la
contingencia, la tautológica y la contradictoria, veamos cada una de ellas.

a) Contingencia; b) Tautológica; c) Contradictoria

 a) La Contingencia

Un esquema molecular es contingente si como mínimo encontramos en su tabla de verdad una falsedad
y una verdad, aquí un ejemplo:

p q s (q∨s) p∧(q∨s) Para el esquema p ∧ (q ∨ s), encontramos como mínimo una

V V V V V falsedad (F) y una verdad (V), por tanto, este esquema
V V F V V molecular es contingente.
V F V V V
V F F F F Cuando un esquema molecular es contingente, se
F V V V F representa de la siguiente manera:
F V F V F p∧(q∨s)≡C
F F V V F
F F F F F
1 2

b) La Tautológica

Un esquema molecular es tautológica si todos los valores de verdad en una tabla de verdad son
verdaderas, aquí un sencillo ejemplo visual.

p q (p → q) ↔ ~ (p ∧ ~ q) \) Como la proposición (p → q) ↔ ~ (p ∧ ~ q) \) tiene todos sus

V V V valores de verdad verdaderos, entonces es tautológica.
V F V Cuando el esquema molecular es Tautológica se representa
F V V así:
F F V
(p → q) ↔ ~ (p ∧ ~ q) \) ≡ T

c) Contradictoria

Un esquema molecular es contradictorio si todos los valores de verdad son falsas, claramente lo
podemos ver con un ejemplo:

p q (p ↔ q) ↔ ~ [(p → ~ q) ∧ (q → p)] Como el esquema (p ↔ q) ↔ ~ [(p → ~ q) ∧ (q → p)]

V V F tiene todos los valores de verdad falsos en una tabla
V F F de verdad, entonces se dice que es contradictoria.
Cuando el esquema molecular es contradictorio se
F V F
representa así:
F F F
(p ↔ q) ↔ ~ [(p → ~ q) ∧ (q → p)] = F

7. JERARQUÍA DE SIGNOS DE AGRUPACIÓN DE LOS ESQUEMAS MOLECULARES

Para calcular la validez de un esquema molecular, hay que tener en cuenta siempre la existencia de un
operador principal, es decir, un conectivo lógico principal donde se calculará finalmente la validez de
la proposición matriz.

Un esquema molecular puede estar compuestas por muchas proposiciones y conectivos lógicos
combinadas tenga, sin embargo, sean cual fuese la combinación, siempre existirá una jerarquía (con
algunas excepciones) de algún conectivo lógico.
Dependiendo de la jerarquía de una formula proposicional, esta puede ser una proposición conjuntiva,
disyuntiva, etc., incluyendo la negación que tiene la propiedad de cambiar, por ejemplo, una
proposición conjuntiva a una disyuntiva.

Y no solo hay una sola jerarquía, un esquema molecular puede contener combinaciones de conectivos
lógicos incluida la negación tal que podemos encontrar conectivos de menor a mayor jerarquía.
Obviamente siempre se comienza calculando aquellos conectivos lógicos de menor jerarquía hasta
llegar a la última jerarquía.

8. EJERCICIOS:

Calcular todos los valores de verdad en una tabla de verdad de las siguientes fórmulas proposicionales:

1) 1p ∧ (q → p)

El símbolo conjuntivo ∧ es de mayor jerarquía y esto es así porque fue restringido por los signos de
agrupación de la fórmula proposicional.

Ahora necesitamos calcular todos los valores de verdad de q → p y como estamos tratando con dos
proposiciones, entonces trabajaremos con 22 = 4 combinaciones posibles de los valores de verdad de
Proposición p y Proposición q, nuestra tabla de verdad quedaría así:

La tabla de verdad:

p q p ∧ (q → p) El número 1 significa que Proposición q → p se calcula primero y 2 significa

V V V V que se calcula finalmente la conjunción de p ∧ (q → p), cómo la conjunción
V F V V es la de mayor jerarquía, como mínimo encontramos en su tabla de verdad
F V F F una falsedad y una verdad decimos entonces que p ∧ (q → p) es una
F F F V proposición Conjuntiva y se representa así: p ∧ (q → p) ≡ C
2 1

2) (p∧q)→p

La tabla de verdad sería:

p q (p ∧ q) → p Trabajaremos tan solo con 22 = 4 combinaciones posibles de los valores de

V V V V verdad de Proposición p y Proposición q.
V F F V
F V F V Primero se calcula (p ∧ q) ya que es un conectivo lógico de menor jerarquía
F F F V por los signos de agrupación que le hemos colocado, luego calculamos la
1 2 condicional de (p ∧ q) → p por ser de mayor jerarquía.

Los números 1 y 2 indican que conectivo lógico se tuvo que calcular primero; como todos los valores
de verdad en la tabla de verdad son verdaderas decimos entonces que (p ∧ q) → p es una proposición
Tautológica y se representa así: (p ∧ q) → p ≡ T
 3) (p → q) ∨ (r ∧ p)

Ejemplo del desarrollo de un esquema molecular de 3 variables por tabla de verdad

Sea el siguiente esquema molecular:

Este esquema tiene como mayor jerarquía a una disyunción inclusiva, por tanto, tenemos que resolver
primero lo que está encerrado en paréntesis.

Como tenemos 3 proposiciones diferentes, entonces se calculan 23 = 8 posibles combinaciones de

valores de verdad.

La tabla de verdad sería:

p q r (p → q) ∨ (r ∧ p) Las columnas de los valores de verdad de con el número 1

V V V V V V debajo de cada columna significa que son los primeros
V V F V V F conectivos lógicos a calcularse y la columna de valores con el
V F V F V V número 2, significa que es el siguiente y último a calcularse.
V F F F F F
F V V V V F De esta manera, se calcula según la jerarquía de los
F V F V V F conectivos lógicos de tales esquemas de todos los valores de
F F V V V F verdad posibles que se tengan. Como mínimo encontramos
F F F V V F en su tabla de verdad una falsedad y una verdad, decimos
1 2 1 entonces que (p → q) ∨ (r ∧ p) es una proposición
Conjuntiva y se representa así: (p → q) ∨ (r ∧ p) ≡ C

4) ~ (p ∧ ~ q) → [q ∨ (r ↔ p)]

La tabla de verdad sería:

p q r ~ (p ∧ ~ q) → [q ∨ (r ↔ p)] Las columnas con el número 1, son los

V V V V F F V V V primeros en calcularse, en este caso, son ~ q
V V F V F F V V F y (r ↔ p), luego le sigue la columnas con el
V F V F V V V V V número 2, estas son p ∧ ~ q y q ∨ (r ↔ p),
V F F F V V V F F luego tenemos la columna número 3 como
F V V V F F V V F penúltima jerarquía a calcular ~ (p ∧ ~ q) y por
F V F V F F V V V último, calculamos los valores de verdad de
F F V V F V F F F la condicional de la columna número 4 de
F F F V F F V V V
3 2 1 4 2 1 ~ (p ∧ ~ q) → [q ∨ (r ↔ p)]; como mínimo
encontramos en su tabla de verdad una
falsedad y una verdad, decimos entonces que ~ (p ∧ ~ q) → [q ∨ (r ↔ p)] es una proposición Conjuntiva
y se representa así: ~ (p ∧ ~ q) → [q ∨ (r ↔ p)] ≡ C
 5) (p ∧ q) ∧ (p → ~ q)

La tabla de verdad sería:

p q ~q (p ∧ q) ∧ (p →~ q) Como tenemos 2 proposiciones diferentes, entonces se

V V F V F F calculan 22 = 4 posibles combinaciones de valores de
V F V F F V verdad.
F V F F F V
F F V F F V Las columnas con el número 1, son los primeros en
1 1 3 2 calcularse, en este caso, son ~ q y (p ∧ q), luego le sigue
la columna con el número 2, esta es (p →~ q), y por
último, calculamos los valores de verdad de la condicional de la columna número 3 de: (p ∧ q) ∧
(p →~ q). Decimos entonces que (p ∧ q) ∧ (p →~ q) es una proposición de esquema molecular
Contradictorio y se representa así: (p ∧ q) ∧ (p →~ q) = F

BIBLIOGRAFÍA

CHÁVEZ CALDERÓN, Pedro (2014) Compendio de Lógica. Grupo Editorial Patria, México

KANT, Immanuel (2000) Lógica. Ediciones Akal, Madrid

VELARDE LOMBRAÑA, Julián (1989) Historia de la Lógica. Universidad de Oviedo, España

BEUCHOT, Mauricio (2004) Introducción a la Lógica. Universidad Nacional Autónoma de México

CASTAÑEDA PÉREZ, Irmina (2014) Proposiciones. Recuperado de:

https://es.slideshare.net/IrminaCastaedaPrez/b-rayam-estructura-1-40896626

SOLIS, Edward (2013) Conectivos lógicos. Recuperado de: https://es.slideshare.net/pesolis/conectivos-

logicos-20751953

Cursos Gratuitos de Matemática (2017) Revisor: Sergio Cohaguila. Recuperado de: https://ciencias-
basicas.com/cursos-gratuitos-de-matematica/matematica-superior-1/