PROPOSICIONES COMPUESTAS
Una proposición compuesta es una frase que consta de uno o varios sujetos y de un predicado que
afirma algo en torno a dichos sujetos.Los sujetos de una proposicon simple deben ser todos
terminos singulares. El predicado debe contener un verbo que exprese la accion sobre los
sujetos.En matematicas se usan ciertos simbolos para representar predicados de uso frecuente
como: el simbolo “_”, como representante del predicado “es igual a “, y el simbolo “<” como
sustituto de “es menor que”.
Las proposiciones compuestas son las siguientes:
1.-Disyunción
La conectiva ‘o’ disyunción tiene dos sentidos y a ellos se alude ya en el lenguaje ordinario cuando se
distingue entre ‘o’ y ‘o’. Cada uno de dichos sentidos es expresado en la logica setencial mediante un
signo propio.La conectiva ‘o’ corresponde a la llamada disyuncion inclusa es simbolizada por el signo ‘V’
insertado entre dos fórmulas.La disyunción de las proposiciones simples pVq que se lee: “p o q” es falsa si
ambas proposiciones son falsas. El operador lógico disyuncion también se denomina OR y representa la
suma lógica.Esta se puede describir mediante una tabla de verdad, una tabla de verdad de
una proposición P formada por las proposiciones P1….,Pn donde V indica verdadero y F falso, de modo
que para cada una de estas combinaciones se indica el valor de verdad de P. p V q se lee:
‘p o q’.La conectiva ‘o….o’ corresponde a la llamada disyuncion exclusiva y es simbolizada por el signo ‘≠’
insertado entre dos formulas. P≠q Se lee ‘o o q’.
Ejemplo:
Antonio se dedica a la natación o al alpinismo
Se entiende de las dos siguientes maneras:
1.- Antonio se dedica a la natación o al alpinismo ( o a ambos) (ejemplo de disyuncion inclusiva)
2.- Antonio se dedica a la natación al alpinismo ( pero no a ambos) (ejemplo de disyuncion exclusiva)
Toda disyunción afirma que es cierto lo que afirma por lo menos una de sus componentes esto se define
en cuanto a su interpretación
2.-Conjunción
La conjuncion de dos proposiciones simples P^q ( que se lee: ” p y q”) es verdadera si ambas
proposiciones son verdaderas. La conjuncion (^), es una conectiva logica que denomina el operador logico
AND y representa el producto logico, y es una proposición de la forma Py Q donde estos son
proposiciones cuales quiera.
La conectiva ‘y’ o conjuncion es simbolizada por el signo ‘.’ insertado entre dos formulas. Asi,
p .q
Se lee ‘ p y q’
Te mostramos unos ejemplos sencillos para comprender el estudio de la conjunción.
Antonio es mentiroso y Juan es mentiroso,
Se formula de modo mas idomatico escribiendo:
Antonio y Juan son mentirosos
Si p es la proposición: «1 es un número impar» y q es la proposición: «3 es un número primo»,
entonces p ^ q será la proposición: «1 es un número impar y 3 es un número primo». En donde se
observa que p ^ q su valor de verdad es verdadero, pues tanto p: «1 es un número impar», como q: «3 es
un número primo»,ambos son verdaderos.
Si p es la proposición: «París está en Francia» y q es la proposición: «2 es un número impar», entonces
la proposición: p ^ q será «París está en Francia y 2 es un número impar», donde su valor de verdad
es: falso, pues el valor de verdad de q: «París está en Francia» , es verdadero, pero el valor de q: «2 es
un número impar» es falso.
La tabla de verdad es la siguiente:
3.-Negación
La negacion de p, denotada por ṗ, es la proposicion no p
Las proposiciones pueden ser simples o compuestas.Para designarlas se emplean letras latinas
minusculas: p, q, r, s, etc.Para negar una proposicion simple se emplea el simbolo ~ de tal forma que ~p
( se lee “no p”), y es tal, que si p es verdadera (1), ~p seria falsa (O), y viceversa.El operador negacion (~)
tambien se denomina NOT por razones obvias ‘_’ prefijado a la letra setencial o al enunciado. Asi,
-p se lee ‘no p’
Ejmplo:
No (Nehru es frances) Aqui sedice que la cenectiva designa ‘particula conectiva’. se
usa el adjetivo sustantivo.
o bien seria:
No es el caso que Nehru sea frances Se observa que en el lenguaje logico ‘no’ antecede al
enunciado, en el lenguaje ordinario (en español) sigue al sujeto
En una expresion mas idomatica a los dos ejemplos anteriores es:
Nehru no es frances.
La conectiva ‘no’ o negacion es la unica conectiva singular de las mentadas.
El valor de verdad de la proposiicon ṗ se define mediante la tabla de verdad.
4.-Condicional
Si p y q son proposicionales, la proposicion compuesta de la siguiente forma:
si p entonces q
es una proposicion codicional y se denota
p–>q
Donde las componetes P,Q son proposiciones cuales quiera.La primera componete de una condicional es
La proposicion p es la hipotesis ( o antecedente) y la segunda proposicion q es la conclusion (o
consecuente).
EJEMPLO:
Si X es multiplo de A, entonces X es par
Nota: Procura poner el verbo en subjuntivo cuando una componente vaya precedida de “que”. En ( Q cada
vez P), se hace salvedad de esta regla.
Cuando la hipotesis de una condicional es una conjuncion, suele repetirse la palabra “si” tantas veces
como componentes tiene la hipotesis.
Ejemplo, en lugar de:
Si P y Q entonces R:
se escribe:
Si P y si Q entonces R.
Ejemplo de lo anterios es:
si la condicional es:
Si P entocnes Q.
reciproca es:
Si Q entonces P.
Contrapuesta es:
Si ~ Q entocnes ~p.
a cada condicional le asocian otras dos que juegan un papel importante: la reciproca y la contrapuesta de
la condicional dada.
El valor de la proposicion condicional p–>q se define mediante la siguiente tabla de verdad:
5.-Bicondicional
Una bicondicional es la conjuncion de una condicional y su reciproca.
Sus siete maneras diferentes de enunciar una misma condicional es:
1.- Si P entonces Q y, reciprocamente, Si Q entoncesP
2.-Si P entonces Q, y reciprocamente.
3.-Si p, y solo entonces, Q.
4.-P si Q, y solo entonces.
5.-P si Q, y solo si Q.
6.- P si, y solo si , Q.
7.- A fin de que P es necesario y eficiente que Q.
Si p y q son proposiciones, la proposicion compuesta
p si y solo si q
es una proposicion bicondicional y se denota
p <–> q.
El valor de verdad de la proposicon p <–> q se define mediante la siguiente tabla de verdad:
proposiciones compuestas lógica
¿Qué son las proposiciones simples y compuestas?
Las proposiciones simples son aquellas que contienen una sola afirmación sobre un
elemento, mientras que las proposiciones compuestas unen dos proposiciones
simples mediante un operador lógico o conector.
En lógica y matemática, las proposiciones son sentencias o afirmaciones que expresan
una idea. Todas las proposiciones tienen un valor de verdad. Esto significa que pueden
ser verdaderas o falsas.
Las proposiciones simples establecen una relación lógica entre un sujeto (S) y un
predicado (P). Por ejemplo, en la proposición Los perros son mamíferos, el sujeto es los
perros y el predicado es son mamíferos.
En cambio, las proposiciones compuestas vinculan dos proposiciones simples
mediante un conector lógico. Por ejemplo, en la proposición Los perros son mamíferos
y los lagartos son reptiles, hay dos proposiciones simples: (1) los perros son
mamíferos, (2) los lagartos son reptiles, que están vinculadas mediante el conector
lógico y.
Las proposiciones son la base del sistema deductivo e inductivo de la lógica formal,
puesto que se utilizan para construir argumentos, en los que pueden cumplir la función
de premisas (enunciados que transmiten una idea) o conclusiones (enunciados que son
una consecuencia lógica de las premisas).
Preguntas frecuentes
¿Qué son las proposiciones simples?
¿Cuáles son ejemplos de proposiciones simples?
¿Qué son las proposiciones compuestas?
¿Cuáles son ejemplos de proposiciones compuestas?
¿Cómo diferenciar las proposiciones simples de las compuestas?
Ver además: Argumento
Proposiciones simples
Una proposición simple es toda aquella en la que no hay operadores lógicos. O sea,
aquella cuya formulación es, justamente, simple, lineal, sin nexos ni negaciones. Expresa
un contenido de manera clara, vinculando un sujeto con un predicado que incluye
un verbo y, en algunos casos, otros elementos.
Por ejemplo, en la proposición Las plantas realizan fotosíntesis, la estructura es:
Sujeto: las plantas
Predicado: realizan fotosíntesis
Verbo: realizan
Elemento del verbo: fotosíntesis
Las proposiciones simples pueden ser:
Proposiciones universales. El sujeto incluye a todos los individuos de un grupo. Por
ejemplo: Todos los humanos respiran.
Proposiciones particulares. El sujeto solo incluye a ciertos individuos de un grupo,
nunca a todos. Por ejemplo: Algunos humanos viven en Egipto.
Proposiciones individuales. El sujeto únicamente incluye a un individuo de un grupo.
Por ejemplo: Darío es italiano.
Ejemplos de proposiciones simples
1. El mundo es redondo.
2. La madera es una materia prima.
3. Un triángulo tiene tres lados.
4. 3 multiplicado por 4 da 12 como resultado.
5. Las plantas tienen hojas.
Proposiciones compuestas
Las proposiciones compuestas son aquellas que contienen algún tipo de operador
lógico, como negaciones, conjunciones o disyunciones. Están formadas por dos
proposiciones simples, entre las que hay algún tipo de vínculo lógico.
Por ejemplo, en la proposición Los seres vivos autótrofos elaboran su propio alimento y
los seres vivos heterótrofos se alimentan de otros, la estructura es:
Proposición 1: los seres vivos autótrofos elaboran su propio alimento
Proposición 2: los seres vivos heterótrofos se alimentan de otros
Conector lógico: y
En lógica, a cada proposición se le asigna una letra, generalmente, p y q. Además, cada
conector lógico tiene un símbolo específico.
Según el tipo de vínculo que existe entre las proposiciones simples que las conforman y el
operador lógico que las une, las proposiciones compuestas pueden ser:
Proposiciones negativas. Emplean el operador lógico no para negar la información de
una proposición simple. El símbolo del operador lógico puede ser ˜ o ¬. Por ejemplo: Los
hongos no son plantas. (Se transcribe como ˜p o ¬p).
dos proposiciones simples. El símbolo del operador lógico puede ser ∧ o •. Por
Proposiciones conjuntivas. Emplean el operador lógico y para vincular la información de
ejemplo: Esteban trabaja y Patricia estudia. (Se transcribe como p∧q o p•q).
que presentan alternativas diferentes. El símbolo del operador lógico es ∨. Por
Proposiciones disyuntivas. Emplean el operador lógico o para unir dos proposiciones
ejemplo: Hace calor o hace frío. (Se transcribe como p∨q).
Proposiciones condicionales. Emplean el operador lógico si para unir dos
lógico puede ser ⊃ o →. Por ejemplo: Si sueltas un objeto, cae al suelo. (Se transcribe
proposiciones: una es una condición y la otra, su consecuencia. El símbolo del operador
como p⊃q o p→q).
Proposiciones bicondicionales. Emplean el operador lógico si y solo si para unir dos
proposiciones que dependen una de la otra. El símbolo del operador lógico es ↔. Por
ejemplo: El techo de la casa se podrá hacer si y solo si colocan las vigas. (Se transcribe
como p↔q).
Ejemplos de proposiciones compuestas
1. Hoy no es lunes.
2. Ella es abogada y viene de Irlanda.
3. Comeré tortilla o me iré sin almorzar.
4. Si gano el premio, donaré el dinero.
5. Si y solo si llueve, la cosecha mejorará.
Valor de verdad de las proposiciones compuestas
El valor de verdad de una proposición indica qué condiciones se deben cumplir para
que una proposición pueda ser verdadera (V) o falsa (F).
En el caso de las proposiciones compuestas, el valor de verdad depende de si las
proposiciones simples que la conforman son verdaderas o falsas.
Los valores de verdad de cada tipo de proposición son distintos y se expresan en tablas.
Valor de verdad de las proposiciones negativas
p ˜p
V F
F V
La tabla se puede traducir como:
Si p es verdadera, la negación de p es falsa. Por ejemplo: Hace frío (p) es verdadera,
entonces No hace frío (˜p) es falsa.
Si p es falsa, la negación de p es verdadera. Por ejemplo: Hay nubes (p) es falsa,
entonces No hay nubes (˜p) es verdadera.
Valor de verdad de las proposiciones conjuntivas
p q p∧q
V V V
V F F
F V F
F F F
p q p∧q
La tabla se puede traducir como:
Si p y q son verdaderas, p∧q es verdadera. Por ejemplo: si hace frío (p) y hay nubes (q)
son verdaderas, Hace frío y hay nubes (p∧q) es verdadera.
Si p es verdadera y q es falsa, p∧q es falsa. Por ejemplo: si hoy es martes (p) es
verdadera y está nublado (q) es falsa, entonces Hoy es martes y está nublado (p∧q) es
falsa.
Si p es falsa y q es verdadera, p∧q es falsa. Por ejemplo: si la cena está lista (p) es
falsa y llegaron los invitados (q) es verdadera, entonces La cena está lista y llegaron los
invitados (p∧q) es falsa.
Si p y q son falsas, p∧q es falsa. Por ejemplo: si Vanesa vive en Madrid (p) y Juan vive
en Sudáfrica (q) son falsas, entonces Vanesa vive en Madrid y Juan vive en
Sudáfrica (p∧q) es falsa.
Valor de verdad de las proposiciones disyuntivas
p q p∨q
V V V
V F V
F V V
F F F
La tabla se interpreta como:
Si p y q son verdaderas, p∨q es verdadera. Por ejemplo: si Se abonará el presentismo
a quienes hayan asistido todos los días (p) y Se abonará el presentismo a quienes tengan
justificativo médico (q) son verdaderas, entonces Se abonará el presentismo a quienes
hayan asistido todos los días o a quienes tengan justificativo médico (p∨q) es verdadera.
Si p es verdadera y q es falsa, p∨q es verdadera. Por ejemplo: si Juan es
colombiano (p) es verdadera y Juan es español (q) es falsa, entonces Juan es colombiano
o español (p∨q) es verdadera.
Si p es falsa y q es verdadera, p∨q es verdadera. Por ejemplo: si Antonia está en la
oficina (p) es falsa y Antonia está en su casa (q) es verdadera, entonces Antonia está en
la oficina o en su casa (p∨q) es verdadera.
Si p y q son falsas, entonces p∨q es falsa. Por ejemplo: si Buenos Aires queda en
Chile (p) y Buenos Aires queda en España (q) son falsas, entonces Buenos Aires queda
en Chile o España (p∨q) es falsa.
Valor de verdad de las proposiciones condicionales
p q p→q
V V V
V F F
F V V
F F V
La tabla se interpreta como:
Si p y q son verdaderas, entonces p→q es verdadera. Por ejemplo: si desciende la
temperatura (p) y hace frío (q)son verdaderas, entonces Si desciende la temperatura,
hace frío (p→q) es verdadera.
Si p es verdadera y q es falsa, entonces p→q es falsa. Por ejemplo: si aumenta la
temperatura (p) es verdadera y hace frío (f) es falsa, entonces Si aumenta la temperatura,
hace frío (p→q) es falsa.
Si p es falsa y q es verdadera, entonces p→q es verdadera. Por ejemplo: si la sequía
se detiene (p) es falsay los árboles darán frutos (q) es verdadera, entonces Si la sequía
se detiene, los árboles darán frutos (p→q) es verdadera.
Si p y q son falsas, entonces p→q es verdadera. Por ejemplo: si el tren llega a
horario (p)y Juan estará a las nueve en el cine (q) son falsas, entonces Si el tren llega a
horario, Juan estará a las nueve en el cine (p→q) es verdadera.
Valor de verdad de las proposiciones bicondicionales
p q p↔q
V V V
V F F
F V F
F F V
La tabla se puede interpretar como:
Si p y q son verdaderas, p↔q es verdadera. Por ejemplo: si me gano la lotería (p)
y compraré una casa (q) son verdaderas, entonces Si y solo si me gano la lotería,
compraré una casa (p↔q) es verdadera.
Si p es verdadera y q es falsa, p↔q es falsa. Por ejemplo: si Vanina compra las
entradas (p) es verdadera e iremos al cine (q) es falsa, entonces Si y solo si Vanina
compara las entradas, iremos al cine (p↔q) es falsa.
Si p es falsa y q verdadera, p↔q es falsa. Por ejemplo: si Pablo aprueba la tesis (p) es
falsa y se graduará (q) es verdadera, entonces Si y solo si Pablo aprueba la tesis, se
graduará (p↔q) es falsa.
Si p y q son falsas, p↔q es verdadera. Por ejemplo: si para de llover (p)y saldrá el
sol (q)son falsas, entonces Si y solo si para de llover, saldrá el sol (p↔q) es verdadera.
Proposición y oración
En algunos casos, las oraciones y las proposiciones coinciden porque son enunciados
que afirman o niegan algo. Por ejemplo: Está lloviendo en la montaña.
Se considera que todas las proposiciones son oraciones, pero no ocurre lo mismo al
revés, ya que hay oraciones que no son proposiciones.
Esto sucede porque hay oraciones que no son afirmaciones ni negaciones de una idea,
sino que expresan preguntas, deseos, sentimientos, órdenes, entre otros. De este modo,
no puede determinarse si son verdaderas o falsas. Por ejemplo: ¡Qué alegría! / ¿Qué hora
es? / Quiero comprar un automóvil. / Cuando te vayas, cierra la puerta con llave, por
favor.
TABLAS DE VERDDAD