TEMARIO:

 Forma de simbolizar una proposición.

 Proposición simple.
 Valor de verdad de una proposición.
 Ejemplos.
 Proposiciones compuestas y conectivos lógicos.
 Negación de una proposición.
 Conjunción.
 Valor de verdad de la conjunción.
 Disyunción.
 Valor de verdad de una disyunción.
 Disyunción exclusiva.
 Implicación o condicional.
 Valor de verdad de la implicación.
 Equivalencia o bicondicional.
 Valor de verdad de la equivalencia
 Tablas de verdad.
 Tautologías.
 Contradicción.
 Funciones proposicionales.
 Proposiciones con cuantificadores.
 Negación de proposiciones con cuantificaciones.
1. PROPOSICIONES:

Son enunciados que en un contexto determinado o en una teoría se pueden calificar como verdaderas o falsas.
Para designar una proposición se utilizarían las letras minúsculas.

p, q , r, s

Ejemplo:

a. p: El pentágono tiene 6 lados.

b. q: Colombia tiene dos mares.
c. r:¿Cuál es tu nombre?.
d. s: ¡Él lo hizo!
e: t: 3/4 de 12 es 9.
f. o: Estoy de acuerdo!Observación: Las opiniones, preguntas, órdenes y exclamaciones no son consideradas
proposiciones.

Proposición SIMPLE:

Es aquella que se forma sin utilizar términos de enlace.

Ejemplo: p: Hoy es jueves
q: 7 elevado a la 3=343

Valor de verdad de una proposición, (V) O (F).

Se pueden calificar como verdaderas o falsas.

Ejemplo: -4 es mayor que -3 (F)
 2*π*r es la longitud de la circunferencia (V)
Hoy llueve en Medellín.
Para todas las personas que habitan en Medellín no tiene el mismo valor de verdad.

Ejercicio: Determine el valor de verdad de cada proposición simple.

1. p: Los elefantes vuelan.
2. q: Lina tiene 7 annos.
3. r: Raíz cuadrada de -9 es un número real.
4. 7 es factor de 84.
PROPOSICIONES COMPUESTAS Y CONECTIVOS LÓGICOS

Las proposiciones compuestas son aquellas que están formadas por dos o más proposiciones simples ligadas
por un conector
 Es un rectángulo si y sólo si tienen 4 ángulos rectos.
 Viajamos de día o viajamos de noche.
 Si el perímetro aumenta, entonces el área se duplica.
 8 es un número par y 8 es divisible por 2.
Los conectores y, o. entonces, si y sólo si, permiten unir dos preposiciones simples.

AXIOMAS:
Son proposiciones que son verdaderas por definición.
Ejemplo: El todo es mayor que las partes
Dos cosas iguales a una tercera son iguales entre si.
El método deductivo permite partir de un conjunto de hipótesis y llegar a una conclusión.
En matemáticas, la deducción es un proceso concatenado de la forma:

Si A entonces B, si B entonces C, si C entonces D… hasta llegar a una conclusión.

TEOREMA: Es el conjunto de hipótesis mas la demostración, hasta llegar a una conclusión.

Ejercicios: Formar proposiciones compuestas, a partir de proposiciones simples.

 Este mes me voy a trabajar.
 Este mes me muero de hambre.
 Vivo en Lima.
 Vivo en Madrid.
 Estudio matemáticas.
 Puedo ensenar matemáticas.
POSIBILIDADES LÓGICAS.

Una proposición simple p sólo tiene dos posibilidades, o es verdadera o es falsa.

Dos proposiciones Simples forman una compuesta

Tres proposiciones tendrán 2 elevado a la 3 =8

En general el número de proposiciones simples que se tienen es “n”, entonces el número de posibilidades es 2
elevado a la n.

NEGACIÓN DE UNA PROPOSICIÓN

La negación es el conectivo lógico que permite cambiar el valor de verdad de una proposición.
Si p es verdadero (V)
Su negación ¬p es falsa (F)
¬p se lee no p.

Ejemplo: Negar las siguientes proposiciones simples:

p: Todos los números primos son pares.
q: No todos los triángulos son isóceles.
r: -15+18=7

Solución:
¬p: No todos los números primos son pares.
¬q: Todos los triángulos son isóceles.
¬r:-15+18+ 7

¿Cuál es el resultado de ¬(¬p)?

Observación: Si una proposición p es verdadera, su negación es falsa y viceversa.

LA CONJUNCIÓN (p ^ q) símbolo lógico ^.

La proposición p ^q es verdadera únicamente si p y q son verdaderas, los demás casos p y q es falsa.

Ejemlo: Juanita, podrás salir a la calle cuando arregles la cama y limpies los muebles.

TABLA DE VERDAD DE LA CONJUNCIÓN

LA DISYUNCIÓN
Símbolo gramatical: o
Símbolo lógico: v

La disyunción inclusiva es verdadera cuando al menos una de las proposiciones sea verdadera y es falsa cuando
todas las proposiciones simples sean falsas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.

TABLA DE VERDAD DE LA DISYUNCIÓN

DISYUNCIÓN EXCLUSIVA
La proposición p v q cuando únicamente una de las proposiciones es verdadera y la otra falsa.
El número 3 o es divisor de 6 o divisor de 10.

TABLA DE VERDAD

mvn
V
La proposición m es verdadera y la proposición n es falsa luego m v n es verdadera.
Ejemplo: 18 es múltiplo de 6 ô 18 es múltiplo de 5.
p (V) ; q (F) por lo tanto p v q es verdadera.

EL CONDICIONAL Y LA IMPLICACIÓN

Es una proposición compuesta por proposiciones simples unidas mediante el conectivo lógico:
“Si… entonces…” que se simboliza =>. p=>q
p se denomina antecedente y q se llama consecuente.
 VALOR DE VERDAD DE LA IMPLICACIÓN

La proposición p => q es falsa únicamente si el antecedente es verdadero y el consecuente es falso. En los

demás casos es verdadera.

TABLA DE VERDAD

OBSERVACIÓN: Todo condicional no es una implicación.

Ejemplo: Si el mar es dulce entonces 3 es un número impar.
1. Si estudias entonces irás al paseo.
2. Si x+3=5, entonces x=2.
3. Si ABC es un triángulo, entonces el ángulo A mas el ángulo B mas el ángulo C es igual a 180 grados.
4. Si ha llovido entonces las calles están mojadas.
Cada uno de estos enunciados reciben el nombre de condicional.

BICONDICIONAL Y DOBLE IMPLICACIÓN

Forma gramatical: si y sólo si

Símbolo lógico: <=>

Ejemplo: x es un número par si y sólo si x es múltiplo de 2.

p: x es un número par.
q: x es múltiplo de 2.

p=>q ^q=>p.

VALOR DE VERDAD DE LA EQUIVALENCIA.

La proposición p <=> q es verdadera cuando ambas proposiciones son verdaderas o ambar proposiciones son
falsas.

TABLA DE VERDAD

Ejemplo: r <=> s : A es un polígono de 4 lados si y sólo si A es un cuadrilátero.

r es verdadera, s es verdadera.
Nota cuando el condicional es verdadero se acostumbra a decir que las proposiciones que intervienen son
equivalentes,

Ejemplos generales:

1. Sabemos que p es falsa, q es verdadera y r es falsa. ¿Cuál será el valor de verdad de la proposición:
q =>(p ^ r) ? = F
. .
. .
. .
V => F = F

Luego q =>(p ^ r) = F

2. Si el valor de verdad de la preposición p => ¬q es falso. ¿Cuál será el valor de verdad de ¬q ^ p?

q => ¬q
.
.
.
V => F
Si q es verdadera, entonces ¬q es falsa
Si ¬p es falsa, entonces p es verdadera

¬q ^ p

F^V
F

Luego las proposiciones:

q=> ¬p <=> ¬q ^ p
F V F

Ejercicios

Completar con F o V cada una de las siguientes proposiciones. Justificar la respuesta.

a) Se sabe que p ^q es verdadera, por lo tanto el valor de verdad de ¬p => q es ____________

b) Se sabe que ¬p => q es falsa. Por lo tanto el valor de verdad de p v ¬ q es ___________
c) Se sabe que ¬p v q es falsa. Por lo tanto, el valor de verdad de p <=> q es ___________
d) Se sabe que p es falsa y ¬p <=> q es verdadera. Por lo tanto, p => ¬q es ___________

VALOR DE VERDAD DEL BICONDICIONAL

Nos basaremos en el valor de verdad del condicional para poder determinar el valor de verdad del
bicondicional.
Si (p <=> q) ^(q <=> p) es equivalente a p <=> q.
La proposición (p => q) ^(q => p) es lógicamente equivalente a (p <=> q) ^(q <=> p)
 El bicondicional es verdadero cuando las proposiciones que interviene tienen el mismo valor de verdad.

2. Sabiendo que p es falso, q es verdadero y r falso. Hallar el valor de verdad de las siguientes proposiciones
compuestas.

a) ¬ (p => ¬q ) <=> (p ^q)

¬ (F => F) <=> (F ^ V)
¬ (V) <=> F

F <=> F

V
b) p => (q ^ r)
c) ¬p => (¬p ^ q)
d) (¬p ^ ¬q) => (p v r)
e) (¬q ^ r) v (q v ¬r)
f) (r ^ ¬r ) v r

3. Escribir la proposición dada en la forma si p entonces q determina su valor de verdad.

a) Los pájaros son aves.
b) Sólo las rectas no paralelas se cortan.
c) Sólo las rectas perpendiculares forman ángulos rectos.

SIGNOS DE PUNTUACIÓN O AGRUPACIÓN

1. Los paréntesis ( ).
2. Los corchetes [ ].
3. Las llaves { } son signos de puntuación o agrupación cuya función en el lenguaje corriente es separar unas
proposiciones de otras.
Ejemplo: En la proposición compuesta:
a) p ^ ( q v r) ; ^ es el conector principal.
b) p => (p v r) ; => es el conector principal.
c) p => (p ^ r) ; => es el conector principal
Ejemplo: Escribir simbólicamente las proposiciones siguientes.

a) 2 es número par y 21 es múltiplo de 3 o 5 es la raíz cuadrada de 10.

Solución:
 p: 2 es número par.
 q: 21 es múltiplo de 3.
 r: 5 es la raíz cuadrada de 10.
 (p ^ q) v r

b) Si 5 multiplicado por 12 es 60, y 3 es el cuadrado de 9, entonces, estudio o juego ajedrez.

Solución:
 p: 5 es multiplicado por 12 es 60.
 q: 3 es el cuadrado de 9.
 r: estudio.
 s: juego ajedrez.

(p ^ q) => (r v s)

VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS

Ejemplo: Supongamos que se quiere determinar que la proposición (¬p ^ q) es equivalente a (p => ¬r)
suponiendo que:
 p: es falsa.
 q: es verdadera
 r: es verdadera
p, q, r, (¬p ^ q) <=> (p => ¬r).

TABLAS DE VERDAD

Son utilizadas para establecer el valor de verdad de proposiciones compuestas.

Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas:
a) ¬(p ^ q) v ¬(q <=> p)
b) [(p => q) ^ p] => q

AvB
 TAUTOLOGÍAS

Es una proposición compuesta siempre verdadera, sin importar el valor de verdad que tengan las proposiciones
simples que la componen.
Ejemplos:
Comprobar por medio de una tabla de verdad que las siguientes proposiciones compuestas son tautologías.
1. p v ¬p.
2. [p ^ (p => q)] => q.
3. (p v q) <=> (q v p).
4. (p => q) <=> (¬q => ¬p).
5. [(p => q) ^ (q => r)] = (p => r).
CONTRADICCIONES

Es una proposición compuesta siempre falsa sin importar el valor de verdad que tengan las proposiciones que
la componen.
Ejemplo: Comprobar que la proposición (p ^ ¬p) es una contradicción.

¬(p v q) ^ ¬(q => p)

Nota: Cuando en la tabla de verdad de una proposición aparecen valores (V) y (F) se dice que la proposición es
incierta o indeterminada.

Ejercicio:
Elaborar la tabla de verdad de las siguientes proposiciones y decir en casa caso si se trata de una tautología,
una contradicción o una indeterminación.

a) ¬(p => ¬q) <=> (p ^ q).

b) (p ^ ¬q) <=> (¬p v q).
c) p => (q ^ r).
d) ¬p => (¬p ^ q).
e) (¬p ^ ¬q) => (p v q).
f) (p => q) => ¬p.
g) (¬q ^ r) v (q v ¬r).
h) (r ^ ¬r) v r.

LEYES DE ÁLGEBRA PROPOSICIONAL

Las siguientes proposiciones constituyen unos axiomas conocidos como leyes tautológicas.
AXIOMA 1 Leyes de Idempotencia

Si p es una proposición simple o compuesta, entonces:

a) (p v p) <=> p
b) (p ^ p) <=> p

Quiere decir que p v p y p ^ p se sustituye por p.

AXIOMA 2 Leyes de identidad para “o” y para “y” (^ , v).

a) p v (V) <=> V
b) p ^ (F) <=> F
c) p ^ (V) <=> P ————> El valor de verdad de la conjunción y disyunción v , ^ depende
del valor de p.

AXIOMA 3 Leyes de conmutativas

Si p y q son proposiciones, entonces:

a) (p v q) <=> (q v p)
b) (p ^ q) <=> (q ^ p)
Se pueden escribir en cualquier orden.

AXIOMA 4 Ley asociativa

Si p , q , r son proposiciones cualesquiera, entonces:

a) (p ^ q ) ^ r <=> p ^ (q ^ r)
b) p v (q v r) <=> (p v q) v r.

AXIOMA 5 Ley distributiva

Si p , q, r son proposiciones cualesquiera, entonces:

a) [p ^ (q v r)] <=> [(p ^ q) v (p ^ r)]
b) [p v (q ^ r)] <=> [(p v q) ^ (p v r)]

AXIOMA 6 Ley de doble negación.

Si p es una proposición cualquiera, entonces:

¬(¬p) <=> v
Al negar dos veces una proposición, obtenemos una afirmación.

AXIOMA 7 Ley del tercero excluido.

(p v ¬p) <=> V
P “o” no p siempre es verdadera. independientemente del valor de p.

AXIOMA 8 Ley de contradicción

Si p es una proposición cualquiera, entonces:
(p ^ ¬p) <=> F

AXIOMA 9 Leyes de Morgan

Si p y q son proposiciones simples , o compuestas, entonces:

a) ¬(p ^ q) <=> (¬p v ¬q)
b) ¬(p v q) <=> (¬p ^ ¬q)

Negar una conjunción o una disyunción consiste en cambiar “v”o “^” y negar las proposiciones dadas.

AXIOMA 10 Definición alterna del condicional

Usando tablas de verdad podemos verificar que

p =>q <=> ¬p v q

Ejemplo de las leyes de Morgan:

Para negar la proposición 7 es un número primo y 30 es divisible por 5, cambiamos “y” por “o” y negamos
proposiciones simples que forman el enunciado.
7 no es un número primo o 30 no es divisible por 5.

Ejemplo: Escribir sin condicional las proposiciones siguientes:

a) (p ^ q) => r
b) p => (¬p v ¬p)
c) ¬p => ¬q

Solución:

a) (p ^ q) => r ; p => q <=> ¬p v q

(p ^ q) = A
A => r
¬A v r
¬(p ^ q) v r

b) p => (¬q v ¬r)

p=A
(¬q v ¬r) = B
¬A v B
¬p v(¬q v ¬r)

c) ¬p => ¬q <=> ¬(¬p) v ¬q

¬p => ¬q <=> p v ¬q
Ejemplo:
Escribir una proposición a: si x es par entonces x es divisible por 2.
p: x es par
q: x es divisible por 2

p => q <=> ¬p v q
x no es par o x no es divisible por 2.

Ejemplo:
Probar que p => q <=> ¬p v q

Aplicaciones de las leyes proposicionales.

Ejemplo: Probar que ¬(p => q) <=> [p ^ (¬q)]

¬(p => q) <=> ¬(¬p v q) ———- AX 10
¬(p => q) <=> ¬(¬p) ^ ¬q ———Ley de M
¬(p => q) <=> p ^ q

Ejemplo:
(p ^ q) => p es tautología
(p ^ q) => p <=> ¬(p ^ q) v p ———A 10
(p ^ q) => p <=> (¬p v ¬q) v p ——– L de M
(p ^ q) => p <=> (¬p v p) v ¬q ——–Ley conmutativa
(p ^ q) => p <=> [V] v ¬q ————-Ley del tercero excluido.
V Ley
 Los signos de agrupación sirven para no caer en ambigüedades
cuando realizamos muchas combinaciones de proposiciones y
conectivos lógicos, esto obliga simbólicamente a definir
una jerarquía en las proposiciones y el orden de como debe de
desarrollarse un esquema molecular cuando tratamos con las
tablas de verdad.
También explicaremos todas combinaciones posibles de los
valores de verdad para mas de dos proposiciones cualesquiera
de una proposición general o matriz. Comencemos.

Índice De La Entrada
 1 Correcta Escritura De Los Argumentos Lógicos
 2 Los Signos De Agrupación
 3 Proposiciones Combinadas
 4 Jerarquía De Signos De Agrupación De Los Esquemas Moleculares
 5 Evaluación De Esquemas Moleculares Por Tablas De Verdad
 6 Algunas Excepciones Con Los Signos De Agrupación
 7 Los Signos En Lógica
o 7.1 FIN DE LA ENTRADA NÚMERO 9

Correcta Escritura De Los Argumentos Lógicos

La lógica matemática, el objetivo primordial es buscar el correcto orden
de los argumentos, es por ello que va por fases, una de ellas es la mas
básica, es decir, la lógica proposicional donde se centra en la estructura
de las proposiciones solo por medio de los conectivos lógicos.
Toma los argumentos y los simboliza de manera muy general estudiando
una estructura básica de estas, es decir, su relación sintáctica entre las
proposiciones por medio de los conectivos lógicos, simbolizar solo los
argumentos significa transformar la estructura de los argumentos en el
lenguaje de los símbolos.
Esto ayuda a tener una visión más general del comportamiento de las
proposiciones, pero no explica la estructura de cada proposición, es
decir, de los argumentos propiamente dicho antes de visualizarlos. Para
un estudio más detallado de los argumentos, debe consultarse un curso de
lógica de primer orden o lógica de predicados.
Si un argumento es correctamente escrito, a nivel simbólico debe
considerarse también la simbolización de las restricciones de un
argumento para saber que hace que un argumento se encuentre muy bien
escrito. Por lo general, estas restricciones están determinadas por los
signos de agrupación y este es el curso central de tema, los signos de
agrupación de lógica proposicional.

Los Signos De Agrupación

Los signos de agrupación son un conjuntos de símbolos especiales
(paréntesis, corchetes, llaves) con la finalidad de realizar simple
agrupaciones de proposiciones (variables proposicionales) junto con los
conectivos lógicos, pero son infinitamente necesarias para no caer en
ambigüedades cuando intentamos combinar los conectivos lógicos con
otras variables proposicionales. Aquí algunos ejemplos de signos de
agrupación de lógica.

Ejemplo Ilustrativo 1
La proposición:

 Si mañana deja de llover, iré de compras y visitaré a mi madre.

Si observan bien esta proposición, el antecedente es:

 Mañana deja de llover.

llamémosle proposición , luego, el consecuente de la proposición es:

 iré de compras y visitaré a mi madre

esta última es una conjunción y puede escribirse como . Para

que se cumpla, tiene que ocurrir , la manera correcta de escribir
la proposición es de la siguiente manera:

 ( )
esta es la manera correcta de escribir una proposición compuesta con más
de proposiciones simples, aunque no necesariamente deberían de ser
simples.

El ejemplo anterior sirve para ilustrar la manera correcta de escribir lo

que comúnmente se llama esquema molecular con los símbolos de los
conectivos lógicos anteriormente ya definidos.
Si un fragmento de un esquema molecular se encuentra con signos de
agrupación como pueden ser corchetes, parentesis, llaves, entonces se
debe de calcular primero los valores de verdad del fragmento de
proposición encerrado por los signos de agrupación.

Si el siguiente esquema ( ) se escribiera simplemente

así , no se podría saber si primero debe calcularse los valores
de verdad de o de ya que la validez de ( )y(
) en una tabla de verdad son completamente diferentes. Es por
ello la importancia de los signos de agrupación.

Proposiciones Combinadas
¿Cuantos valores de verdad tiene una proposición?, naturalmente dos,
estos son:

¿Pero cuántas combinaciones de todos los valores de verdad se pueden

encontrar de dos proposiciones y ?, esto se puede ver en una sencilla
tabla de verdad sin conectivos lógicos:
Con dos proposiciones, tenemos 4 combinaciones posibles de los valores
de verdad de dos proposiciones. ¿Y para 3 proposiciones?, veamos:

Las combinaciones de 3 proposiciones diferentes nos da como resultado

8 posibles combinaciones de los valores de verdad de las mismas.
Si observamos todas las combinaciones de los valores de verdad y la
relación que tiene con el número de proposiciones existentes,
encontramos un comportamiento fácil de detectar:

 proposición, tenemos combinaciones posibles.

 proposiciones, tenemos combinaciones posibles.
 proposiciones, tenemos combinaciones posibles.

por generalidad, podemos concluir de manera inductiva que:

 Para proposiciones, tenemos combinaciones posibles

Esta fórmula se puede demostrar por el principio de inducción en un

curso de teoría combinatoria. Lo veremos en su momento en un curso de
inducción matemática.
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.
Vayamos con un ejemplo para explicar las diferentes tablas de verdad
para diferentes esquemas moleculares, de esta manera sabrás como
agrupar correctamente los conectivos lógicos junto con las proposiciones
simbólicas.

Ejemplo Ilustrativo 2
Por ejemplo, si deseamos calcular todas los valores de verdad en una
tabla de verdad de la siguiente fórmula proposicional:

( )

Debemos saber todos los posibles valores de verdad de y de ,

aquí, el símbolo conjuntivo es de mayor jerarquía y esto es así porque
fue restringido por los signos de agrupación de nuestra fórmula
proposicional.
Pero para lograrlo, necesitamos calcular todos los valores de verdad
de y como estamos tratando con dos proposiciones, entonces
trabajaremos tan solo con = combinaciones posibles de los valores
de verdad de y , nuestra tabla quedaría así.
El color azul indica que primero tenemos que calcular todos los valores
de verdad de con los valores de verdad conocidos de y ,
luego, los valores de verdad de color rojo indica que ahora tenemos que
calcular todos los valores de verdad de y anteriormente
calculados.

Del ejemplo ilustrativo anterior, los enumeré con y para indicar que
fragmento de la proposición matriz se deben de calcular. El
número significa que se calcula primero y significa que se
calcula finalmente la conjunción de ( ), cómo la conjunción es
la de mayor jerarquía, decimos entonces que ( ) es
una proposición conjuntiva.

Ahora cambiemos los papeles, de la proposición anterior ( ),

tomemos a la condicional con mayor jerarquía, nuestra fórmula
proposicional sería ( ) , diseñemos su tabla de verdad para un
nuevo ejemplo:

Ejemplo Ilustrativo 3
La tabla de verdad de ( ) sería:

Primero se calcula ( ) ya que es un conectivo lógico de menor

jerarquía por los signos de agrupación que le hemos colocado, luego
calculamos la condicional de ( ) por ser de mayor jerarquía.
los números y indican que conectivo lógico se tuvo que calcular
primero.

De los dos ejemplos ilustrativos y , vemos que las fórmulas

proposicionales de ( )y de ( ) tienen
comportamientos distintos, esto indica que el esquema
molecular sin corchetes es ambigua.

Evaluación De Esquemas Moleculares Por Tablas

De Verdad
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, esto último lo veremos en entradas futuras.
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 ultima jerarquía.

Vayamos con un ejemplo más extenso de 3 proposiciones , y .

Ejemplo Ilustrativo 4
Sea el siguiente esquema molecular

( ) ( )
fijense que 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 = posibles combinaciones de valores de verdad para
nuestro esquema. La tabla de verdad quedaría de la siguiente manera:
Las columnas de los valores de verdad de color azul con el número 1
debajo de cada columna significa que son los primeros conectivos
lógicos a calcularse y la columna de valores de color rojo con el número
2, significa que es el siguiente y último a calcularse.

De esta manera, se calcula según la jerarquía de los conectivos lógicos de

tales esquemas de todos los valores de verdad posibles que se tengan.
Vayamos con otro último ejemplo mas para su mejor comprensión.

Ejemplo Ilustrativo 5
Calcularemos todos las posibles valores de verdad del siguiente esquema
molecular:

( ) [ ( )]
en la siguiente tabla de verdad encontraremos 4 tipos de jerarquías
enumerados del 1 al 4:

Las columnas con el número 1 y estos son los primeros en calcularse, en

este caso, son y , luego le sigue la columnas con el número 2,
estas son y ( ), luego tenemos la columna número
3 como penúltima jerarquía a calcular ( ) y por ultimo,
calculamos los valores de verdad de la condicional de la
columna número 4 de ( ) [ ( )].
Con estos dos últimos ejemplos, podemos asegurarnos que los lectores
tengan la seguridad de como debemos de calcular los valores de verdad
siguiendo estas pautas “lógicas”, de lo contrario, encontraremos
situaciones sin ningún sentido “lógico”.
En este último ejemplo se usó corchetes y dentro de ellas unos
paréntesis, por lo general las llaves encierran a los corchetes, y los
corchetes encierran a los paréntesis, pero esto es sólo convencional,
puedes usarlos como quieras.
En cuanto a los signos de agrupación, no todas los esquemas
moleculares depende de los signos de agrupación, esto lo veremos a
continuación.

Algunas Excepciones Con Los Signos De

Agrupación
Existen algunas excepciones cuando trabajamos con signos de
agrupación, ya que estas mismas resultan ser opcionales en ciertos casos
especiales.

Por ejemplo, el esquema molecular no es ambigua y puede

escribirse así:

=( ) = ( )

Si calculamos la tabla de verdad de ( ) y de ( ) resulta

que tiene los mismos valores de verdad y en un mismo orden.
También ocurre lo mismo con la disyunción inclusiva y tranquilamente
lo podemos escribir así:

=( ) = ( )
La bicondicional también tiene esta propiedad cuando se usan más de 2
proposiciones a la vez en un esquema molecular, se registra sin
contradicciones en el siguiente esquema:

=( ) = ( )
La disyunción exclusiva también goza de esta propiedad:

=( ) = ( )
La única que no goza de esta propiedad es la condicional material donde:

=( ) = ( )

Por lo que el esquema es ambigua, por tanto, podemos

mencionar que las siguientes fórmulas proposicionales como la que están
aquí:

 ( ) = ( )
 ( ) = ( )
 ( ) = ( )
 =( ) = ( )

tiene propiedades asociativas, estas son, la conjunción, la disyunción

inclusiva como la exclusiva y la bicondicional.
Esto último es tan solo un esbozo de las identidades notables que lo
volveremos a ver en un próximo capítulo de lógica proposicional. Dicho
todo lo anterior, sabrás la manera correcta de agrupar proposiciones
simbólicamente y resolver las tablas de verdad de un esquema
molecular.
Esto último es tan solo un esbozo de las identidades notables que lo
volveremos a ver en un próximo capítulo de lógica proposicional. Dicho
todo lo anterior, sabrás la manera correcta de agrupar proposiciones
simbólicamente y resolver las tablas de verdad de un esquema
molecular.

Los Signos En Lógica

En lógica proposicional y en cualquier área de las matemáticas,
los signos representan a los significados de los símbolos, los símbolos no
tiene significado, solo están representados por caracteres especiales como
por ejemplo la negación que sería el signo del símbolo “ “.
Aquí una tabla de los principales signos lógicos en lógica proposicional:

Nombre Signo (significado) Simbolo

Negación No

Conjunción y

Disyunción Inclusiva o

Disyunción Exclusiva O bien …. o bien

Condicional Material Si … entonces ..

Bicondicional Material Si y solo si

Implicación lógica Por tanto

Proposición lógica Argumento aseverativo , , (por lo general,

letras minúsculas)
Signos De Agrupación Paréntesis, corchetes, llaves (), [], { }
Verdadero …

Falso …
La simbolización de proposiciones propiamente dicha son únicamente
con letras minúsculas , , , lamentablemente la simbolización no
indica qué proposición es simple o compuesta, un símbolo como por
ejemplo puede representar un esquema molecular con todos los signos
como pueden ser variables proposicionales, conectivos lógicos,
paréntesis y propia extenderse a otros simbolos más si tratamos con la
lógica de primer orden.
En proposiciones mencionó desde un inicio que un signo siempre está
representado por un símbolo, lo que entendemos como signo se le llama
semántica y como símbolo se llama sintáctica (los caracteres), luego,
estos caracteres o símbolos deben tener un orden definido para luego
comenzar entender todo el álgebra de los esquemas moleculares y sus
leyes principales, este orden se llama fórmulas bien formadas, pero de
ello lo hablaremos en su momento.
Proposiciones compuestas
(Disyunción, Conjunción, Negación,
Condicional, Bicondicional)
Oct 18

DISYUNCIÓN

La disyunción es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando una de las proposiciones es verdadera,
o cuando ambas lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyunción

(Ir a 3.1.3 Tablas de Verdad)

p v q (se lee: ” p o q”)

 EJEMPLOS:

p = ” El numero 2 es par”

q = ” la suma de 2 + 2 es 4″

entonces…

pvq: “El numero 2 es par o la suma de 2 + 2 es 4″

p = ” La raíz cuadrada del 4 es 2”

q = ” El numero 3 es par″

entonces…

pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”

CONJUNCIÓN

La conjunción es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son verdaderas,
 y falso en cualquier otro caso. Es decir es verdadera cuando ambas son
verdaderas.

Tabla de verdad de la conjunción

(Ir a 3.1.3 Tablas de Verdad)

p ^ q (se lee: ” p y q”)

EJEMPLOS:

p = ” El numero 4 es par”

q = ”Siempre el residuo de los números pares es 2″

entonces…

p^q: “El numero 4 es par y Siempre el residuo de los números pares es 2″

p = ” El numero mas grande es el 34”

q = ”El triangulo tiene 3 lados″

entonces…

p^q: “El numero mas grande es el 34 y El triangulo tiene 3 lados”

 NEGACIÓN

La negación es un operador que se ejecuta. sobre un único valor de

verdad, devolviendo el valor contradictorio de la proposición considerada.

Tabla de verdad de Negación

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS

p: “4 + 4 es igual a 9”

-p: “4 + 4 no es igual a 9″

p: “El 4 es un numero par”

 -p: “El 4 no es un numero par”

CONDICIONAL

El condicional material es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad falso sólo cuando la primera proposición
es verdadera y la segunda falsa, yverdadero en cualquier otro caso.

La condicional de dos proposiciones p, q da lugar a la proposición; si p

entonces q, se representa por p → q

Tabla de Verdad Condicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS

p: “llueve”

q: “hay nubes”

p→q: “si llueve entonces hay nubes”

 p: “Hoy es miércoles”

q: “Mañana será jueves”

p→q: “Si Hoy es miércoles entonces Mañana será jueves”

BICONDICIONAL

El bicondicional o doble implicación es un operador que funciona sobre

dos valores de verdad, típicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones tienen el mismo valor de verdad, y falso cuando sus valores
de verdad difieren.

Tabla de Verdad Bicondicional

(Ir a 3.1.3 Tablas de Verdad)

 EJEMPLOS

p: “10 es un número impar”

q: “6 es un número primo”

p↔q: “10 es un número impar si y solo si 6 es un número primo”

p: “3 + 2 = 7”

q: “4 + 4 = 8”

p↔q: “3 + 2 = 7 si y solo si 4 + 4 = 8″
OPERACIONES LÓGICAS
NEGACIÓN
Se puede negar una proposiciónanteponiendo la palabra "no" o las frases "no es cierto que" o "no es
verdad". Pararepresentar esta negación usaremos el siguiente símbolo ( ~ ).
EJEMPLOS

1. p:"estoy jugando"
entonces la negación de esta proposición es :
~p: "no estoy jugando " o tambien ~p: "no es cierto que estoy jugando"
2. p:"Juan está alegre"
entonces se tiene :
~p: "Juan no está alegre" o tambien ~p: "Juan está triste".

TABLA DE VERDAD

CONJUNCIÓN ( ^ ) O ( Y )
La Conjunción es un conectivo lógico que relaciona dos proposiciones simples para formar una
proposición compuesta, mediante la letra "Y" cuya representación es el símbolo "^".
EJEMPLOS

p:"Mario es bueno" ; q:"Rita está alegre"

p^q: "Mario es bueno y Rita está alegre"

p:"Quito está en Ecuador (V)" y q:"3+2=5 (V)"

Entonces: p^q"Quito está en Ecuador y 3+2=5" es V

TABLA DE VERDAD
 DISYUNCIÓN ( v ) o (O)
La Disyunción es un conector lógico que relaciona dos proposiciones simples pa formar una
proposicion compuesta mediante la letra "O", cuya representación es le símbolo "V".
EJEMPLOS

p:"Mario es bueno" ; q:"Rita está alegre"

pvq: "Mario es bueno o Rita está alegre"
.
p:"Quito está en Ecuador (V)" o q:"3+2=5 (V)"
Entonces: pvq"Quito está en Ecuador o 3+2=5" es V

TABLA DE VERDAD

CONDICIONAL ( →) o (si... entonces)

La Condicional es un conectivo lógico que srelaciona dos proposiciones simples que mantiene una
relación de dependencia, mediante del símbolo "→". Para darnos una nueva proposición p→q.
EJEMPLOS

p:"María es quiteña" (V)

q:"María es ecuatoriana"(V)
p→q: " Si María es quiteña entonces es ecuatoriana"(V)
 p:"María es quiteña (V)" o q:"María es peruana (F)"
p→q: " Si María es quiteña entonces es peruana"(F)

TABLA DE VERDAD

BICONDICIONAL (↔) o ( si y solo si)

El Bicondicional es un conectivo lógico que srelaciona dos proposiciones simples que mantiene una
relación doble, mediante del símbolo "↔". Para darnos una nueva proposición p↔q.
EJEMPLOS

p:"El triángulo equilátero ABC tiene tres lados iguales" (V).

q:"El triángulo equilátero ABC tiene tres ángulos iguales" (V).
p↔q:"El triángulo equilátero ABC tiene tres lados iguales si y solo si los cuatro lados iguales"(V).

TABLA DE VERDAD

DISYUNCIÓN EXCLUSIVA
( ∆ ) O ( Ó)

Se llamada disyunción exclusiva, que viene a decir que al menos una de las opciones es verdadera,
pero sólo una. en este sentido exclusivo, si en p q, p es verdadera y q también lo es, la disyunción
exclusiva es falsa.

TABLA DE VERDAD

CONJUNCIÓN NEGATIVA
( ↓ ) O ( NI....NI )

La Conjunción es un conectivo lógico que relaciona dos proposiciones simples para formar una
proposición compuesta, el la negación de la conjunción símbolo "↓".

TABLA DE VERDAD