CANADIAN
INTERNATIONAL SCHOOL
TRABAJO MENSUAL
LÓGICA
CANADIAN INTERNATIONAL SCHOOL
NOMBRE
MARIAFERNANDA CASTILLO
PROFESOR(A):
YESSICA MACÍAS
MATERIA:
LÓGICA
FECHA:
07/07/2024
TEMA:
PROPOSICIONES
ÍNDICE
Tabla de contenido
INTRODUCCIÓN .............................................................................................................................. 4
PROPOSICIONES.............................................................................................................................. 5
PROPOSICIONES SIMPLES ............................................................................................................... 7
PROPOSICIONES COMPUESTAS ...................................................................................................... 9
CONCLUSIÓN ................................................................................................................................. 18
BIBLIOGRAFÍA ............................................................................................................................... 19
INTRODUCCIÓN
Las proposiciones son fundamentales en la lógica, ya que forman la base sobre
la cual se construyen argumentos y razonamientos. Al ser capaces de ser
verdaderas o falsas, las proposiciones permiten la evaluación de la veracidad
de las afirmaciones y la construcción de estructuras lógicas más complejas,
como los silogismos. Aristóteles fue uno de los primeros en formalizar la lógica
a través de proposiciones, permitiendo así un análisis sistemático de los
argumentos.
PROPOSICIONES
Una proposición, en términos generales, es algo que se propone. Es decir, es
una expresión equivalente de una oración simple aseverativa, una oración en
la que se afirma que algo es, que algo existe o que posee determinada
característica. Por lo tanto, puede ser juzgada como cierta (si concuerda con la
realidad) o falsa (si no lo hace).
Es un término muy empleado en distintos contextos del saber, como ciertas
disciplinas formales (lógica, matemáticas) o la lingüística y la filosofía. La idea
es que, tomando distintas proposiciones como antecedentes, se puede
obtener determinadas conclusiones, y además se puede estudiar
detenidamente el procedimiento a través del cual las hemos obtenido.
En todo caso, una proposición debe entenderse como una cadena de signos
que pertenecen a un mismo lenguaje, ya sean sonidos o caracteres (en un
lenguaje natural) o signos y representaciones (en un lenguaje formal).
Mientras que, en el lenguaje coloquial, una proposición se entiende como una
propuesta: una invitación que hacemos a otro u otros y que puede ser
aceptada o rechazada.
Finalmente, no debemos confundir una proposición con una preposición. Esta
última es apenas una categoría gramatical, o sea, un tipo de palabras, que
poseen un significado gramatical más o menos evidente, y que sirven para
establecer las relaciones entre las cosas. Son ejemplos de preposiciones: de,
para, contra, entre, por, sobre, bajo, en, etc.
PROPOSICIÓN EN LÓGICA
La lógica estudia las relaciones entre proposiciones y los mecanismos de
razonamiento que permiten llegar a unas a partir de otras. En sí mismas, las
proposiciones se diferencian de los juicios, ya que las primeras proponen algo
sobre la realidad y los segundos afirman o niegan algo de ello. Es decir, las
proposiciones son el producto lógico de los juicios.
La lógica formal representa las proposiciones a través de letras del alfabeto,
para así estudiar las conexiones lógicas entre ellas abstraídas de su contenido
semántico: “si p entonces q”.
A partir de dicha la relación, luego puede determinarse en qué casos el
contenido expresado es cierto, y en qué casos es falso, mediante las llamadas
“tablas de la verdad”, que asignan valores verdaderos (V) o falsos (F) a la
relación establecida, para estudiar sus resultados posibles.
PROPOSICIONES SIMPLES
En lógica y matemática, las proposiciones son sentencias o afirmaciones a las
que puede dárseles un valor verdadero o falso, según sea el caso, y que
expresan una relación lógica de algún tipo entre un sujeto (S) y un predicado
(P). Las proposiciones se relacionan entre sí mediante los juicios, y son la base
del sistema deductivo e inductivo de la lógica formal.
Ahora bien, una primera clasificación de las proposiciones ofrece dos tipos
fundamentales de proposición, tomando en cuenta su estructura interna:
Proposiciones simples. O proposiciones atómicas, poseen una formulación
sencilla desprovista de negaciones y nexos (conjunciones o disyunciones), por
lo que constituyen un único término lógico.
Proposiciones compuestas. O proposiciones moleculares, poseen dos términos
unidos por un nexo, o emplean negaciones dentro de su formulación,
resultando en estructuras más complejas.
Una proposición simple es toda aquella en la que no hay operadores lógicos. O
sea, aquellas cuya formulación es, justamente, simple, lineal, sin nexos ni
negaciones, sino que expresa un contenido de manera sencilla.
Por ejemplo: “El mundo es redondo”, “Las mujeres son seres humanos”, “Un
triángulo tiene tres lados” o “3 x 4 = 12”.
Las proposiciones simples son afirmaciones que expresan una sola idea o
contenido, sin estar compuestas por otras proposiciones. Estas proposiciones
son fundamentales en la lógica y se caracterizan por su estructura sencilla,
generalmente formada por un sujeto, un verbo y un predicado. Ejemplos de
proposiciones simples incluyen frases como "El gato duerme" o "El sol brilla".
Al ser básicas y no descomponibles en otras proposiciones, sirven como
bloques constructivos para proposiciones más complejas y análisis lógicos.
Características
Unidad de significado: Expresan una sola idea completa.
No descomponibles: No pueden dividirse en otras proposiciones.
Estructura básica: Sujeto + verbo + predicado.
Ejemplos
"El perro ladra."
"María estudia."
Las proposiciones simples son cruciales en la lógica y el análisis de argumentos,
ya que proporcionan los componentes básicos para construir proposiciones
más complejas. Al ser indivisibles, permiten un análisis claro y directo de su
veracidad y su función en el razonamiento lógico.
PROPOSICIONES COMPUESTAS
Las proposiciones compuestas son afirmaciones que combinan dos o más
proposiciones simples mediante conectores lógicos. Estos conectores pueden
ser:
Conjunción (y): Une dos proposiciones que deben ser ambas verdaderas para
que la proposición compuesta sea verdadera. Ejemplo: "Pedro estudia y María
trabaja".
Disyunción (o): Une dos proposiciones donde al menos una debe ser verdadera
para que la proposición compuesta sea verdadera. Ejemplo: "Pedro estudia o
María trabaja".
Condicional (si... entonces): Establece una relación de dependencia entre dos
proposiciones. Ejemplo: "Si Pedro estudia, entonces María trabaja".
Bicondicional (si y solo si): Indica que ambas proposiciones tienen el mismo
valor de verdad. Ejemplo: "Pedro estudia si y solo si María trabaja".
Negación (no): Niega el valor de verdad de una proposición. Ejemplo: "No es
cierto que Pedro estudia".
Estas combinaciones permiten construir argumentos más complejos y realizar
análisis lógicos detallados.
Una proposición también puede ser compuesta. Se dice que una proposición
lógica es compuesta si está formada por varias proposiciones simples
enlazadas por conectivos lógicos.
Por ejemplo, si definimos las siguientes proposiciones simples:
p: Beatriz es venezolana
q: Beatriz nació en Caracas
r: Beatriz es mayor de edad
s: Hoy llueve
t: Hoy hace sol
u: Hoy llevo paraguas
Algunos ejemplos de proposiciones compuestas utilizando las proposiciones y
los conectivos lógicos anteriores (subrayados en cada proposición) son:
Beatriz nació en Caracas y es venezolana y es mayor de edad (p ∧ q ∧ r)
Hoy llueve o hace sol (s ∨ t)
Hoy llueve y llevo paraguas o hace sol y no llevo paraguas ((s ∧ u) ∨ (t ∧ ¬u))
Observe en los ejemplos anteriores que:
• Una proposición compuesta puede utilizar uno o varios conectivos lógicos
diferentes.
• Cada proposición compuesta tiene asociada una expresión lógica formada
por los conectivos lógicos y las proposiciones simples correspondientes.
• Se utilizan los paréntesis para indicar el orden (asociatividad) en el que se
quiere realizar la conexión de las proposiciones simples (como ejemplo puede
ver la última proposición compuesta).:
Finalmente, las proposiciones simples que utilizan únicamente el conectivo
lógico de negación no son proposiciones compuestas. Por ejemplo, utilizando
las proposiciones simples anteriores, podríamos definir las siguientes
proposiciones que también son simples:
Hoy no llueve (¬s)
Beatriz no es venezolana (¬p)
Hoy no llevo paraguas (¬u)
Resultado lógico de una proposición compuesta
Como indicamos en el apartado anterior, los conectivos lógicos pueden
combinarse entre sí para formar proposiciones compuestas. El resultado lógico
de la proposición compuesta está determinado por el valor lógico obtenido de
la expresión lógica que define la proposición compuesta.
A continuación mostramos algunos ejemplos de proposiciones compuestas y
el resultado lógico o valor de verdad de cada una de ellas. Para ello definiremos
las proposiciones simples p y s con valor lógico verdadero y las proposiciones
q y r con valor lógico falso. Entonces el valor de verdad de las siguientes
proposiciones compuestas es:
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
proposición simple deben ser todos términos singulares. El predicado debe
contener un verbo que exprese la acción sobre los sujetos. En matemáticas se
usan ciertos símbolos para representar predicados de uso frecuente como: el
símbolo “_”, como representante del predicado “es igual a “, y el símbolo “<”
como sustituto de “es menor que”.
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 lógica setencial mediante un signo propio. La
conectiva ‘o’ corresponde a la llamada disyuncion inclusa es simbolizada por el
signo ‘V’ insertado entre dos fó[Link] 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ó[Link] 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.
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’
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.
3.-Negación
La negacion de p, denotada por ṗ, es la proposicion no p
Las proposiciones pueden ser simples o [Link] designarlas se
emplean letras latinas minusculas: p, q, r, s, [Link] 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 [Link] 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 sería:
No es el caso que Nehru sea francés Se observa que en el lenguaje lógico
‘no’ antecede al enunciado, en el lenguaje ordinario (en español) sigue al
sujeto
En una expresión mas idiomática a los dos ejemplos anteriores es:
Nehru no es francés.
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 [Link] 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:
CONCLUSIÓN
En resumen, las proposiciones son elementos esenciales de la lógica que
permiten estructurar y evaluar argumentos de manera precisa. La clasificación
aristotélica de las proposiciones en universales y particulares, así como en
afirmativas y negativas, proporciona un marco para el análisis lógico que sigue
siendo relevante hoy en día. La comprensión y el uso correcto de las
proposiciones facilitan la formulación de argumentos válidos y la detección de
falacias, contribuyendo así al desarrollo del pensamiento crítico y el
razonamiento riguroso.
BIBLIOGRAFÍA
Equipo editorial, Etecé. "Proposición". [Link]. Última edición: 27 de
noviembre de 2020. Consultado el 24 de junio de 2024. Disponible en:
[[Link]
Equipo editorial, Etecé. "Proposiciones simples y compuestas". [Link].
Última edición: 22 de septiembre de 2020. Consultado el 1 de julio de 2024.
Disponible en: [[Link]
compuestas/]([Link]
Autor desconocido. "Material Q0 FO Final". Universitat Politècnica de
Catalunya, fecha de consulta: 7 de julio de 2024. Disponible en:
[Link]
1. Pico Calderón, Jorge L. "La lógica del condicional y la implicación". Escritura
y Pensamiento, 1998. Consultado el 7 de julio de 2024. Disponible en:
[[Link]
1/la_logica_del_condic_y_la_imp.htm]([Link]
l/publicaciones/escri_pensam/1998_n1/la_logica_del_condic_y_la_imp.htm)
2. Wikipedia. "Conjunción lógica". *Wikipedia, La enciclopedia libre*. Última
edición: 20 de mayo de 2024. Consultado el 7 de julio de 2024. Disponible en:
[[Link]
[Link]/wiki/Conjunci%C3%B3n_l%C3%B3gica)
3. Wikipedia. "Negación lógica". *Wikipedia, La enciclopedia libre*. Última
edición: 5 de junio de 2024. Consultado el 7 de julio de 2024. Disponible en:
[[Link]
[Link]/wiki/Negaci%C3%B3n_l%C3%B3gica)
4. Wikipedia. "Disyunción lógica". *Wikipedia, La enciclopedia libre*. Última
edición: 10 de junio de 2024. Consultado el 7 de julio de 2024. Disponible en:
[[Link]
[Link]/wiki/Disyunci%C3%B3n_l%C3%B3gica)
5. Mi Tecnológico. "Bicondicional". *Mi Tecnológico*. Consultado el 7 de julio
de 2024. Disponible en:
[[Link]
[Link]/Main/Bicondicional)