REPÚBLICA BOLIVARIANA DE VENEZUELA

INSTITUTO UNIVERSITARIO POLITÉCNICO

“SANTIAGO MARIÑO”
EXTENSIÓN VALENCIA

Profesor: Bachiller:

Esteban Enrique Hernández Brea. Kristian Mirena.

Asignatura: C.I.: 32.177.629.
Algebra I Escuela: Ing. en Sistema (47)

Valencia, Mayo del 2023.

 PROPOSICIONES

1.- DEFINICIÓN DE PROPOSICIÓN.

En álgebra, una proposición se refiere a una declaración matemática que

puede ser verdadera o falsa. Las proposiciones en álgebra a menudo involucran
variables, constantes, operaciones y relaciones. Estas proposiciones se utilizan
para establecer teoremas y leyes matemáticas y para formular problemas
algebraicos.
Una proposición se puede expresar mediante ecuaciones o desigualdades,
y los símbolos matemáticos se usan para representar las relaciones entre las
variables y constantes involucradas. Un ejemplo de proposición en álgebra sería:
Proposición: Para todos los números reales a, b y c, si a > b y b > c, entonces a >
c.
Esta proposición se puede demostrar de manera lógica y, si se demuestra
verdadera, se convierte en un teorema o ley matemática.
Las proposiciones algebraicas son fundamentales en la resolución de
problemas matemáticos y en el establecimiento de relaciones y propiedades
dentro del álgebra y otras ramas de las matemáticas.

2.- TIPOS DE PROPOSICIÓN: ATÓMICAS, MOLECULARES.

Las proposiciones se pueden clasificar en dos tipos principales: atómicas y

moleculares. Ambos tipos de proposiciones se utilizan en la lógica y la matemática
para establecer declaraciones que pueden ser verdaderas o falsas. A
continuación, se describen las diferencias entre las proposiciones atómicas y
moleculares:
1. Proposiciones atómicas: Una proposición atómica es una declaración simple y
básica que no se puede descomponer en proposiciones más simples. Se
 considera la unidad fundamental en la lógica proposicional y la matemática. Las
proposiciones atómicas son afirmaciones que pueden ser verdaderas o falsas,
pero no contienen conectores lógicos (como "y", "o", "no", "si... entonces", "si y
solo si") que se usan para unir varias proposiciones.
En la lógica proposicional, las proposiciones atómicas se representan
generalmente con letras minúsculas como p, q, r, etc.
Ejemplo: si "p" representa la proposición atómica "El cielo es azul", esta
afirmación es una proposición atómica porque no se puede dividir en
proposiciones más simples y no contiene conectores lógicos.
Entender las proposiciones atómicas es esencial para construir argumentos
lógicos y analizar la validez de las declaraciones matemáticas, ya que son la base
sobre la cual se construyen las proposiciones moleculares o compuestas.

2. Proposiciones moleculares: Las proposiciones moleculares, también conocidas

como proposiciones compuestas o complejas, son declaraciones que se forman al
combinar dos o más proposiciones atómicas utilizando conectores lógicos.
Los conectores lógicos comunes incluyen: conjunción (y), disyunción (o),
negación (no), implicación (si... entonces) y bi-implicación (si y solo si).
Las proposiciones moleculares se representan utilizando letras minúsculas
para las proposiciones atómicas y símbolos lógicos para los conectores, como p ∧
q (p y q), p ∨ q (p o q), ¬p (no p), p → q (si p entonces q), y p ↔ q (p si y solo si q).
Ejemplo: "El cielo es azul" y "q" representa "La hierba es verde", la
proposición molecular "El cielo es azul y la hierba es verde" se puede representar
como p ∧ q.

3.- TÉRMINOS DE ENLACES O CONECTIVOS LÓGICOS Y SUS SÍMBOLOS: Y,

O, NO, SI…..ENTONCES.
Los conectivos lógicos, también conocidos como enlaces o términos de
enlace, son operadores que unen proposiciones atómicas para formar
proposiciones moleculares o compuestas. Estos conectivos establecen relaciones
lógicas entre las proposiciones y son fundamentales en el estudio de la lógica y las
matemáticas. Los conectivos lógicos más comunes y sus símbolos son:
 Conjunción (Y): Este conectivo lógico une dos proposiciones atómicas,
y la proposición compuesta resultante es verdadera solo si ambas
proposiciones atómicas son verdaderas. Se representa con el símbolo ∧.
Ejemplo: p ∧ q significa "p y q".
 Disyunción (O): Este conectivo lógico une dos proposiciones atómicas,
y la proposición compuesta resultante es verdadera si al menos una de
las proposiciones atómicas es verdadera. Se representa con el símbolo
∨.
Ejemplo: p ∨ q significa "p o q".
 Negación (NO): Este conectivo lógico invierte el valor de verdad de una
proposición atómica. Si la proposición original es verdadera, su
negación será falsa, y viceversa. Se representa con el símbolo ¬.
Ejemplo: ¬p significa "no p".
 Implicación (Si... entonces): Este conectivo lógico establece una
relación condicional entre dos proposiciones atómicas. La proposición
compuesta resultante es verdadera, excepto cuando la primera
proposición (antecedente) es verdadera y la segunda (consecuente) es
falsa. Se representa con el símbolo →.
Ejemplo: p → q significa "si p, entonces q".

Estos conectivos lógicos son esenciales para construir proposiciones

moleculares y analizar la validez de argumentos lógicos y declaraciones
matemáticas.
4.- FORMAS DE PROPOSICIONES Y SUS SÍMBOLOS.

o Negación (no): Representada por el símbolo ¬. Ejemplo, ¬p significa "no

p".
o Conjunción (y): Representada por el símbolo ∧. Ejemplo, p ∧ q significa "p
y q".
o Disyunción (o): Representada por el símbolo ∨. Ejemplo, p ∨ q significa "p o
q".
o Implicación (si... entonces): Representada por el símbolo →. Ejemplo, p
→ q significa "si p, entonces q".
o Doble implicación (si y solo si): La doble implicación, también conocida
como bi-implicación o equivalencia lógica, es un conectivo lógico que
establece una relación bidireccional entre dos proposiciones. La doble
implicación se representa con el símbolo ↔. Ejemplo: Dadas dos
proposiciones p y q, la doble implicación se expresa como "p si y solo si q".
Esto significa que ambas proposiciones tienen el mismo valor de verdad: si
una es verdadera, la otra también lo es, y si una es falsa, la otra también lo
es. Por lo tanto, la doble implicación entre las proposiciones p y q se denota
como p ↔ q.
o Diferencia simétrica: es una operación en teoría de conjuntos que
combina dos conjuntos de una manera particular. Dados dos conjuntos A y
B, la diferencia simétrica se define como el conjunto de elementos que
están en A o en B, pero no en ambos conjuntos a la vez. Es decir, consiste
en todos los elementos que son exclusivos de cada conjunto. La diferencia
simétrica se representa con el símbolo Δ, aunque también se puede
representar con el símbolo ⊕. Por lo tanto, la diferencia simétrica entre los
conjuntos A y B se denota como A Δ B o A ⊕ B.
Ejemplo, supongamos que tenemos dos conjuntos:
 A={1,2,3,4}
B = {3, 4, 5, 6}
La diferencia simétrica entre A y B sería:
A Δ B = {1, 2, 5, 6}

Esto se debe a que los elementos 1 y 2 son exclusivos de A, mientras que

los elementos 5 y 6 son exclusivos de B. Los elementos 3 y 4, que están
presentes en ambos conjuntos, no forman parte de la diferencia simétrica

5.- PROPOSICIONES CONDICIONALES Y BICONDICIONALES.

Proposiciones Condicionales: Son proposiciones compuestas que

establecen una relación de implicación entre dos proposiciones simples. Una
proposición condicional tiene la forma "si p, entonces q", donde p y q son
proposiciones simples, también llamadas atómicas. En este tipo de proposición, p
es el antecedente y q es el consecuente.
La proposición condicional se representa con el símbolo de implicación (→),
de modo que "si p, entonces q" se denota como p → q.
La verdad o falsedad de una proposición condicional se determina de
acuerdo con la siguiente tabla de verdad:
pqp→q
VVV
VFF
FVV
FFV
Aquí, "V" indica verdadero y "F" indica falso. Como puedes ver, la proposición
condicional p → q es verdadera en todos los casos, excepto cuando el
antecedente p es verdadero y el consecuente q es falso.
 Las proposiciones condicionales son importantes en la lógica y las
matemáticas, ya que permiten expresar relaciones de dependencia y causalidad,
así como establecer teoremas e identidades matemáticas. En la práctica, las
proposiciones condicionales se utilizan para describir situaciones en las que una
afirmación implica otra, como en el caso de "si llueve, entonces llevo paraguas".

Proposiciones bicondicionales: Un bicondicional es una proposición que

tiene una doble condicionalidad, fijada por las fórmulas que relaciona de manera
binaria. En el lenguaje coloquial, la idea está asociada a la expresión “si y solo si”:
el bicondicional es verdadero si los términos que relaciona comparten el valor de
verdad (es decir, si las dos fórmulas son verdaderas o si las dos fórmulas son
falsas). En cambio, cuando las fórmulas tienen diferente valor de verdad (ya que
una es falsa y la otra verdadera), el bicondicional es falso.
Un bicondicional implica que R es una condición suficiente y
necesaria para S. También puede indicarse que “si R, entonces S” y que “si S,
entonces R”.
Ejemplo: Tomemos el ejemplo de la siguiente proposición: “Un ser humano
pertenece biológicamente al género masculino si tiene órganos reproductivos
masculinos”. Dejando de lado cuestiones culturales y de identidad, se puede
afirmar que un ser humano forma parte del género masculino “si y solo si” tiene
órganos reproductivos masculinos.
Retomando las fórmulas mencionadas líneas arriba: “Si un ser humano
pertenece biológicamente al género masculino, entonces tiene órganos
reproductivos masculinos”. Esto también puede expresarse al revés: “Si un ser
humano tiene órganos reproductivos masculinos, entonces pertenece
biológicamente al género masculino”. Como se puede advertir, estamos ante
una proposición bicondicional: requiere que ambos términos tengan el
mismo valor de verdad para ser verdadera.