Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LM01-PROPOSICIONES
LM01-PROPOSICIONES
PROPOSICIONES CATEGÓRICAS
1.1. INTRODUCCIÓN
De la misma manera que los números son los elementos básicos de la aritmética, las proposiciones simples
son los elementos de la lógica en general, y de la lógica matemática en particular.
Generalmente comenzamos nuestras experiencias aritméticas con el conjunto de los números naturales,
y construimos estructuras más complejas, por ejemplo, el sistema de los números racionales. De la misma
forma, iniciaremos en lógica con las proposiciones simples para formar proposiciones compuestas.
R
En el siguiente cuadro, se presenta la clasificación general de las proposiciones, las mismas que se
TO
analizarán a continuación.
AU
PROPOSICIONES
E
D
S
O
UNIVARIABLES, PLURIVARIABLES
S
LO
Existen varias formas de nombrar una proposición cerrada simple, las más importantes son: proposición
O
categórica simple, proposición categórica, proposición cerrada, proposición atómica, proposición simple,
D
proposición, enunciado. En lo sucesivo, al referirnos a una proposición cerrada simple (PCS), utilizaremos
VA
la palabra proposición.
ER
Una proposición es una oración de la cual tiene sentido afirmar que es verdadera o falsa, pero no las
ES
Observación: las palabras "verdadero" y "falso" son elementos indefinidos. La idea de "verdadero" y
"falso", es básica en el pensamiento humano. Esta idea es algo puramente intuitiva, algo no
definido, pero si entendido por cada persona como resultado de su propia experiencia.
Los ejemplos anteriores no son proposiciones, pues no tiene sentido decir que sean verdaderas o falsas.
Para expresar nuestros pensamientos no bastan las palabras. Es preciso que ellas estén ordenadas
adecuadamente, para la clara comprensión por parte del lector o del que escucha. Ciertas agrupaciones
de palabras, no son la expresión de un pensamiento con sentido completo, por lo tanto, también carece
de sentido afirmar su verdad o falsedad. Por ejemplo:
Observación: toda proposición es una oración; pero no toda oración es una proposición.
R
TO
De la misma manera que en el álgebra elemental se usan las letras x, y, o z, entre otras, para representar
números; en lógica, se usan las letras minúsculas p, q, o r, para representar proposiciones. Si el número
AU
de proposiciones que se analizan, en un problema dado, es considerable, entonces se usan las mismas
letras con subíndices. Por ejemplo:
E
p: El cero es el módulo de la suma
D
q: 2/3 es mayor que ¼
S
r: 15 = 20-10 p1: -(-5) x 3 = -11
O
El valor de verdad de una proposición consiste en asignar las letras V (inicial de verdadero) o F (inicial de
falso), a una proposición, según sea verdadera o falsa.
S
LO
Sea p una proposición cualquiera. Si p es verdadera se escribe v(p) = V, y se lee "valor de verdad de
S
Ejemplo:
ER
El uso de las letras mayúsculas V o F, para los valores de verdad de una proposición es enteramente
arbitrario, en ocasiones suele ser de utilidad el uso de 1 y 0 en lugar de V o F, respectivamente.
Ejemplo:
Existen varias formas de nombrar una proposición cerrada compuesta, las más importantes son:
proposición categórica compuesta, proposición molecular, proposición compuesta. En lo sucesivo, al
R
referirnos a una proposición cerrada compuesta (PCC), utilizaremos las palabras: proposición compuesta.
TO
Se llama proposición compuesta a la combinación de dos proposiciones simples mediante un término
AU
lógico. Se llama término lógico a las palabras: y, o, si y sólo si, entre otras.
E
D
Si se consideran las proposiciones: "2 es un número natural" y "2 es un número entero", y el término lógico
S
"Y", se tiene la siguiente proposición compuesta:
O
H
De igual forma, si se consideran las proposiciones: "Cristóbal Colón está vivo", "Cristóbal Colón está
muerto", y el término lógico "o", se tiene la siguiente proposición compuesta: Cristóbal Colón está vivo o
S
muerto.
O
D
Así como en aritmética se estudian operaciones entre números, en lógica matemática se estudian
ER
Se llama operación, en matemáticas, a cualquiera de los procedimientos que se emplean para transformar
R
unas cantidades en otras, o para efectuar con ellas determinados cálculos. Por ejemplo, en aritmética son
siete: suma, resta, multiplicación, división, potenciación, radicación y logaritmación.
En lógica matemática, dos proposiciones pueden unirse para formar otra proposición. Algunas de estas
formas (proposiciones compuestas) se presentan repetidamente y son indispensables para propósitos de
análisis. Estas formas especiales toman el nombre de "operaciones con proposiciones" o sencillamente
"operaciones lógicas". Las operaciones con proposiciones son un subconjunto de las proposiciones
compuestas.
OPERACIONES LÓGICAS
Afirmación
1. MONOÁDICAS
Negación
Conjunción
Contrasección
SIMPLES
Subsección
INTERSECTIVAS Extersección
COMPUESTA Bicondicional
2. DIÁDICAS Interdisyunción
Condicional
SIMPLES
Subdisyunción
INTERDISYUNTIVAS Disyunción (i)
R
COMPUESTA Disyunción (e)
TO
AU
Una operación es monoádica cuando dada una proposición se obtiene otra diferente (negación), y diádica
cuando de dos proposiciones se obtiene otra diferente (conjunción). En general, se llama operador al
E
símbolo que indica una operación o función matemática, por ejemplo: +, -, x, etc. Del mismo modo, se llama
D
término a la palabra, voz o vocablo que se utiliza para leer un operador, por ejemplo: mas, menos, por. El
S
siguiente cuadro presenta las operaciones lógicas con sus respectivos operadores y términos lógicos:
O
H
OPERACIONES LÓGICAS
EC
1. MONOÁDICAS
ER
~ no ...
S
2. DIÁDICAS
LO
O
4. Extersección Ni ... ni
5. Bicondicional ... si y solo si ...
ER
ES
Observación: Los operadores lógicos se conocen con el nombre de conectores o conectivos lógicos. La
palabra “no” en las operaciones contrasección, subsección, interdisyunción y subdisyunción
puede sustituirse por “es falso que” o “no es cierto que”.
A continuación, se estudian las operaciones lógicas que tienen mayor uso en matemática: negación,
conjunción, contrasección, bicondicional, condicional, disyunción inclusiva y disyunción exclusiva.
DEFINICIÓN.
En matemática, el símbolo equivalente a la palabra "no" es la barra inclinada, /, la misma que se sobrepone
R
TO
a un símbolo dado. Por ejemplo:
AU
p: 7= 4+2 ~ p: 7 4 + 2 (Siete no es igual a cuatro más dos).
q: 9 < 2 ~ q: 9 ≮ 2 (Nueve no es menor que dos).
r: 10 > 4 ~ r: 10 ≯ 4 (Diez no es mayor que cuatro).
E
D
El valor de verdad de la negación cumple con la siguiente propiedad fundamental: Si p es verdadero
S
entonces ~ p es falso. De la misma manera, si p es falso entonces ~ p es verdadero. La siguiente tabla
O
p ~p
ER
Observación: Una proposición es por definición verdadera o falsa, por tal razón se escribe una V y una F,
LO
en la primera columna. Los valores de verdad cambian, en la segunda columna, por definición
de negación.
S
O
EJERCICIOS
ES
1. Represente simbólicamente las siguientes proposiciones. Halle la negación de las mismas y su valor de
verdad.
R
DEFINICIÓN
Dada una proposición p cualquiera, al realizar la doble negación de dicha proposición (dos negaciones
consecutivas), se obtiene como resultado la misma proposición inicial. La doble negación se conoce
también con el nombre de "negación de la negación".
Observación: “perdió” tiene el mismo significado que “no ganó”. De igual forma; "No perdió" tiene el mismo
significado que "ganó". Al comparar la proposición 5 (negación de la negación) con la
R
proposición 1, notaremos que son las mismas.
TO
Valor de verdad de la doble negación: Si la proposición inicial es verdadera, al efectuar la doble
AU
negación, el valor de verdad sigue siendo verdadero. De la misma manera, si la proposición inicial es falsa,
al efectuar la doble negación, el valor de verdad sigue siendo falso. Es decir:
E
p ~p ~(~ p) D
S
V F V
O
F V F
H
EC
Ejemplo 1.
1. p: 2+2 = 4 v(p) = V
ER
2. ~ p: 2+2 4 v(~p) = F
D
Ejemplo 2.
LO
EJERCICIOS
ER
1. Represente simbólicamente las siguientes proposiciones. Halle la negación, la doble negación y el valor
ES
de verdad en cada caso (se sugiere el formato del ejemplo 1 de la doble negación).
R
1. (7 - 5) –6 = -4 2. (10 -5)(8-4) 40
3. (9-6) + (7-3) = 7 4. 2(6+3) 2x6 + 2x3
5. 50 = 5 6. 30 -(7x3) 9
2 5 2+5
7. 3 3 = 3 8. 2225 22+5
1
9. 5 = 5 10. mcd (6,12) 2
11. mcm (5,15) = 15 12. La base del sistema decimal es 10.
13. El 1 es el módulo de la multiplicación. 14. Número compuesto es el que consta de una sola cifra.
15. El cociente indica el número de veces que el dividendo contiene al divisor.
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio del término lógico "y" para formar
una proposición compuesta llamada intersección o conjunción de las dos primeras. Simbólicamente se
representa con p q y se lee " p y q".
Término lógico
R
TO
p q: Caín es hijo de Adán y Eva
Proposición simple Proposición simple
AU
E
Representación simbólica Proposición compuesta conjunción D
S
O
Observación: La conjunción es una operación diádica (binaria), en el sentido de que a cada dos
H
Valor de verdad de la conjunción: el valor de verdad de una proposición compuesta depende del valor
ER
de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. En lo referente
D
1. Una proposición.
V
D
conjunto:
ES
2. Dos proposiciones.
R
p q combinaciones lógicas
V V Primera
V F Segunda
F V Tercera
F F Cuarta
De nuestro uso habitual del lenguaje podemos indicar que la conjunción "y" une, generalmente, dos
oraciones "afirmativas" (oración coordinada copulativa). Pero debemos entender que, en este sentido,
nuestros usos habituales del lenguaje no son absolutamente claros y uniformes, sino por el contrario,
existen casos en que se presentan dudas o ambigüedades. Con el objeto de eliminar toda duda y de
establecer un criterio que se aplique uniformemente en todos los casos, se tiene la siguiente definición.
DEFINICIÓN
El v(pq) = V para la primera combinación lógica, y el v(pq) = F para las demás combinaciones lógicas.
R
TO
La propiedad fundamental, anotada anteriormente, se resume en la siguiente tabla de verdad.
AU
p q pq
La conjunción es verdadera, cuando
V V V
E
la primera y segunda proposición es
V
F
F
V
F
F
verdadera. D
S
F F F
O
H
Ejemplos:
EC
p1 p2 p1 p2 ~ (p1 p2)
O
V V V F
D
V F F V
VA
F V F V
ER
F F F V
ES
p q pq
V V V
V F F
F V F
F F F
p p P
V V V V
F F F F
R
Observación. Dígito: número que se expresa con una sola cifra. Natural (N): número que indica la cantidad
TO
de elementos que tiene un conjunto determinado, N = {0, 1, 2, 3, … }. Natural par: si es la forma 2k,
AU
siendo k elemento de los N. Natural impar: si es la forma 2k+1, siendo k elemento de N. Natural múltiplo
de 3: si es la forma 3k, siendo k natural mayor que 0. Natural divisor de 8: si la división 8/k exacta, y k
es dígito diferente de 0. Natural primo: si es mayor que 1 y es divisible por sí mismo y la unidad. Natural
E
D
compuesto: si es mayor que 3 y no es primo. Entero (Z): los naturales y los correspondientes negativos;
Z = {…, -3, -2, -1, o, 1, 2, 3, …}. Racional (Q): Número que se expresa como cociente de dos números
S
O
enteros, son de la forma a/b, siendo b 0. El conjunto Q está compuesto por los números enteros y
H
fraccionarios. Irracional (Q´): número que no se puede escribir como cociente de dos números enteros,
EC
por ejemplo el número pi (3,1415 …). La expresión decimal de cualquier número irracional consta de
infinitas cifras no periódicas. Reales (R): el conjunto formado por todos los números racionales y los
ER
irracionales.
D
EJERCICIOS
S
LO
1. 7 x 8 = 56 y 8 x 7 = 52
O
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "pero no" para formar
una proposición compuesta llamada contrasección de las dos primeras. Simbólicamente se representa
por p ↖ q y se lee "p pero no q".
Al coordinar las dos proposiciones con las palabras "pero no" se tiene:
Término lógico
R
p ↖ q: Quito es la capital del Ecuador pero no de Francia
TO
Proposición simple Proposición simple
AU
E
R. simbólica Proposición compuesta contrasección
D
S
O
H
Valor de verdad de la contrasección: El valor de verdad de una proposición compuesta depende del
EC
valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. Los
valores de verdad, correspondientes a las dos proposiciones simples, están determinados por la tabla de
ER
DEFINICIÓN
LO
El v(p ↖ q) = V para la 2a combinación lógica, y v(p ↖ q) = F para todas las demás combinaciones lógicas.
S
O
D
p q p ↖q La contrasección es verdadera,
V V F cuando la primera proposición es
ES
F F F
Observación: La conjunción adversativa "pero" une, generalmente, dos oraciones: La primera "afirmativa"
y la segunda "negativa". La palabra "pero" expresa contraposición u oposición de un concepto
a otro, enunciado anteriormente. Por ejemplo:
"El dinero hace ricos a los hombres pero no dichosos " ( G. E. Larousse )
R
TO
p q p↖q ~ (p ↖ q)
AU
V V F V El v[~(p ↖ q)] = F y el v(q) = V, no se presentan
V F V F en una misma fila, por lo que el v(p) no puede
tomar ninguno de los dos valores.
E
F V F V
F F F V D
S
O
EJERCICIOS
H
EC
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "... si y sólo si ..." para
formar una proposición compuesta llamada bicondicional de las dos primeras. Se representa por “p
q” y se lee "p si y sólo si q". Se conoce, también, con el nombre de bisección.
Al coordinar las dos proposiciones con las palabras “ ... si y sólo si ... “, se obtiene:
Término lógico
R
TO
p q: 6 es divisible por 2 si y sólo si 6 es número par
Proposición Simple Proposición simple
AU
E
R. simbólica D
Proposición compuesta bicondicional
S
O
H
Valor de verdad del bicondicional: El valor de verdad de una proposición compuesta depende del valor
EC
de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. Los valores de
verdad, correspondientes a las dos proposiciones simples, están determinados por la tabla de las
ER
definición:
S
LO
DEFINICIÓN
S
El v(pq) = V para la 1ª y 4ª combinaciones lógicas, y v(pq) = F para todas las demás casos.
O
D
VA
Observación: la frase "si y sólo si" no se usa a menudo fuera de las matemáticas. Pocas personas dirían
alguna ocasión "voy al cine si y sólo si hace calor", al mismo tiempo que es posible que alguno
puede decir algo como "voy al cine si hace calor, pero sólo si hace calor". La conjunción "si"
denota condición o hipótesis en cuya virtud una cosa depende de otra.
Observación: En matemática se emplea "ssi", generalmente, como abreviatura de "si y sólo si".
3. Hallar el valor de verdad de la negación de la siguiente proposición compuesta: El 4 es par ssi 4/2=1.
p: el 4 es par v(p) = V
q: 4/2 = 1 v(q) = F
p q: el 4 es par ssi 4/2 = 1 v(p q)=F
~ (p q): Es falso que; el 4 es par ssi 4/2 = 1 v[~ (p q)]= V
R
TO
4. Hallar el v[~(pq)] si se conoce que: el v(p) = F y el v(q) = V.
AU
p q p q ~ (pq)
V V V F
E
V F F V
F V F D
V
S
F F V F
O
a
El v(p) = F y el v(q) = V se presenta en la 3 fila, por lo tanto el v[~(p q)] = V.
H
EC
EJERCICIOS
ER
4. 12/4 = 3 ssi 12 = 4 x 3
ES
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras " Si ... entonces ..."
para formar una proposición compuesta llamada condicional de las dos primeras. Se representa por
“p→q” y se lee " Si p entonces q ". Se conoce, también, con el nombre de contradisyunción.
Término lógico
R
TO
AU
R. simbólica Proposición compuesta condicional
E
D
Valor de verdad del condicional: El valor de verdad de una proposición compuesta depende del valor de
S
verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
O
H
DEFINICIÓN
EC
El v(p→q)= F para la segunda combinación lógica, y v(p→q) = V para todas las demás combinaciones.
ER
D
p q p→q
El condicional es "falso" cuando la
V V V
primera proposición es verdadera y
S
V F F
O
casos es verdadero.
F F V
VA
Observación: Las oraciones condicionales constan de dos partes: La 1a oración que expresa la condición,
ER
siguientes frases: en este caso, siendo así, siempre que, ya que, con tal que, con que, como.
Por ejemplo:
R
p: 5 es elemento de N v(p) = V
q: 5 es mayor que 0. v(q) = V
p →q: Si 5 es elemento de N entonces 5 es mayor que 0. v(p →q) = V
~(p→q): es falso que; si 5 es elemento de N entonces 5 es mayor que 0. v[~(p →q)] = F
3. Sean r1 y r2 dos proposiciones simples. Construir la tabla de verdad para la negación del condicional.
p q p →q ~ (p →q)
V V V F
V F F V
R
TO
F V V F
F F V F
AU
El v(p) = F y el v(q) = V se presenta en la 3a fila, por lo tanto el v[~(p →q)] = F.
E
EJERCICIOS D
S
1. Determine el valor de verdad de las siguientes proposiciones compuestas.
O
H
4. Si 2+ 4 = 6 entonces 2 = 6 - 4
D
5. Si 33 = 27 entonces 3x3x3x3 = 9
S
3. Si 5 -3 = 0 entonces 5 = 3
D
4. Si 7 + 2 = 9 entonces 7 = 9 + 2
VA
5. Construir la tabla de verdad correspondiente a la negación del condicional de una proposición consigo
misma.
MSc. Paco Bastidas Romo & otros. 15 Proposiciones Categóricas
1.7.6. DISYUNCIÓN INCLUSIVA (v ; … y/o … )
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "y/o" para formar
una proposición compuesta llamada disyunción inclusiva de las dos primeras Simbólicamente se
representa por “p v q” y se lee "p y/o q". Se conoce también con el nombre de exterdisyunción.
Término lógico
R
R. simbólica Proposición compuesta disyunción inclusiva
TO
AU
Observación: las letras " y/o " significan lo uno, lo otro, o ambas cosas.
E
Valor de verdad de la disyunción inclusiva: el valor de verdad de una proposición compuesta depende
D
del valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
S
O
DEFINICIÓN.
H
EC
El valor v(p v q) = F para la cuarta combinación lógica y v(p v q) = V para todas las demás
ER
combinaciones.
p q pvq
LO
F F F
VA
Ejemplos:
ER
p: El 1 es dígito v(p)=V
q: El 1 es natural v(q) = V
p v q: El 1 es dígito y/o natural v(p v q) = V
p q pvq ~ (p v q)
V V V F
V F V F
F V V F
F F F V
p q pvq ~ (p v q)
V V V F
V F V F
F V V F
F F F V
R
TO
5. Construir la tabla de verdad correspondiente a la negación de la disyunción inclusiva de una
proposición consigo misma.
AU
p p v p ~(p v p)
E
V V V V F
F F F F V
D
S
O
H
EJERCICIOS
EC
4. 5 divide a 10 y/o a 8
5. Ambato es la capital de Tungurahua y/o de Pichincha
S
O
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de la palabra "o" para formar una
proposición compuesta llamada disyunción exclusiva de las dos primeras. Simbólicamente se
representa por “p v q” y se lee "p o q". La disyunción exclusiva se conoce también con el nombre de
bidisyunción.
Término lógico
R
TO
R. simbólica Proposición compuesta disyunción exclusiva
AU
Valor de verdad de la disyunción exclusiva: El valor de verdad de una proposición compuesta depende
E
del valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
D
S
DEFINICIÓN
O
H
El v(p v q) = F para la primera y cuarta combinación lógica, y v(p v q) = V para todas las demás
EC
combinaciones lógicas.
ER
p q pvq
LO
F V V
los demás casos es verdadera.
D
F F F
VA
Observación: Las oraciones coordinadas disyuntivas son las que expresan pensamientos opuestos que se
ER
excluyen mutuamente. La letra “o” significa “lo uno o lo otro, pero no ambas cosas”:
ES
En algunos casos, la "o" se cambia por "u": Fueron siete u ocho los alumnos que asistieron.
Ejemplos:
EJERCICIOS
R
4. 7 > 2 ó 7- 2 > 0
TO
5. 9/3 = 3 ó 3 x 3 = 9
AU
2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas.
1. 10 es número par ó 10 es múltiplo de 3
E
2. 5/3 > 8/3 ó 5 > 8
3. 3/2 > 2/ 5 ó 2 < 5
D
S
4. 12/4 = 3 ó 12 = 4 x 3
O
5. –2 < -1 ó 2 > 1
H
EC
4. Construir la tabla de verdad para la negación del bicondicional y para la disyunción exclusiva. ¿Qué
S
Las operaciones lógicas de mayor aplicación se estudiaron anteriormente. A continuación, se presenta una
síntesis de todas las operaciones intersectivas e interdisyuntivas:
ER
TÉRMINO Y ... pero no ... No ... sino ... Ni ... ni ... ... ssi ...
OPERADOR ↖ ↙
P q p q p ↖q p ↙q p q p q
V V V F F F V
V F F V F F F
F V F F V F F
F F F F F V V
Observación: El adverbio No, en los términos lógicos anteriores, puede reemplazarse por: No es cierto
que o es falso que.
Algunas de las operaciones anteriores tienen dos o más nombres, los mismos que se indican a continuación:
1: Conjunción y/o intersección. 2: Extersección, negación conjuntiva y/o negación compuesta. 3:
Interdisyunción, Negación alternativa y/o barra de Schaffer. 4: Condicional y/o contradisyunción. 5:
Disyunción inclusiva y/o exterdisyunción. 6: Disyunción exclusiva y/o Bidisyunción.
R
TO
EJERCICIOS
AU
1. Determine el valor de verdad de las siguientes proposiciones compuestas.
E
1. Un cuadrilátero no tiene 3 lados sino 4.
2. Ni Quito ni Lima es la capital de Colombia
D
S
3. Quito no es la capital del Perú tampoco de Colombia
O
8. 23 27 entonces 2x2x2 = 8
D