UNIVERSIDAD JUAREZ

AUTONOMA DE TABASCO
DIVISIÓN ACADEMICA DE
CIENCIAS BASICAS.
PENSAMIENTO
MATEMATICO
CATEDRATICO:
PROF. RICARDO ARIAS
PALACIOS.
SEMANTICA Y SINTAXIS DE PROPOSICIONES ALUMNA:
211A19009 ZULEMA
COMPUESTAS Y SU NEGACION. RODRIGUEZ RODRIGUEZ
Cuantificadores (universal, existencia). Disyunción. Conjunción. Condicional.
Equivalencia.
 SEMÁNTICA Y SINTÁXIS DE PROPOSICIONES
COMPUESTAS Y SU NEGACIÓN.
Cuantificadores (universal, existencia).
La principal debilidad de la lógica proposicional es su limitada habilidad para
expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su
significado cuando se las representa en lógica proposicional. Por esto, se desarrolló una
forma lógica más general, capaz de representar todos los detalles expresados en las
sentencias, ésta es la Lógica de Predicados.
Las variables también pueden ser cuantificadas.  Los cuantificadores que típicamente se
utilizan en la Lógica de Predicados son:
El cuantificador universal   indica que la fórmula bien formada, dentro de su alcance, es
verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
X....
Establece que "para todo X, es verdad que . . . ".
El cuantificador existencial se determina que la fórmula bien formada, dentro de su
alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo:
X....
Establece que "existe un X, tal que . . . ".
A continuación, se dan algunos ejemplos de predicados cuantificados:
X, [niño (X) => le_gusta (X, helados)].
Y, [mamífero (Y) => nace (Y, vivo)].
Z, [cartero(Z) ^ mordió (boby, Z)].
Desde el punto de vista de la representación, los cuantificadores son difíciles de usar, por
lo que es deseable reemplazarlos con alguna equivalente más fácil de manipular. El caso
del cuantificador universal es más simple, ya que se asume a todas las variables como
universalmente cuantificadas.
El cuantificador existencial es más difícil de reemplazar. Garantiza la existencia de uno o
más valores particulares (instancias) de la variable cuantificada, que hace a la cláusula
verdadera. Si se asume que existe una función capaz de determinar los valores de la
variable que hace la cláusula verdadera, entonces simplemente se remueve el
cuantificador existencial y se reemplazan las variables por la función que retorna dichos
valores. Para la resolución de problemas reales, esta función, llamada función de Skolem,
debe ser conocida y definida.
 Disyunción.
Una disyunción es una conectiva lógica. Combina dos proposiciones y la expresión
resultante es verdadera si al menos alguna de ellas es verdadera.  Si combinamos la
proposición «tengo mucho dinero» con la proposición «soy una persona feliz» usando una
disyuntiva, la expresión resultante será verdadera si «soy una persona feliz» o si «tengo
mucho dinero» o si «soy una persona feliz y tengo mucho dinero». Solo será falsa si no
«soy una persona feliz» y no «tengo mucho dinero». Una disyunción es falsa si las dos
proposiciones a las que la aplicamos son falsas.
Gráficamente se representa con el símbolo v  y su comportamiento se puede visualizar
con la siguiente tabla de verdad:

Al leer las expresiones normalmente se vocaliza con el sonido de la

conjunción o, de forma que la proposición compuesta  se lee a o b.
En ocasiones esto puede ser confuso porque en lenguaje natural la
conjunción o se puede usar tanto en sentido inclusivo como en
sentido exclusivo. Al usarla en sentido exclusivo es necesario optar
por alguna de las opciones; por ejemplo, la expresión «¿deseas
vivir o morir?» implica que debemos seleccionar una de las
alternativas, pero no podemos vivir y morir. El uso inclusivo de la
conjunción, por su parte, no impone la necesidad de elegir y ambas
alternativas se pueden dar simultáneamente. La expresión «almorzaré sopa o pasta» es un
ejemplo de este caso ya que puedo almorzar sopa o puedo almorzar pasta o puedo
almorzar ambas cosas.
En la lógica proposicional la disyunción se refiere únicamente al sentido inclusivo de la
conjunción o. Cuando se hace referencia al significado exclusivo se debe decir
explícitamente «disyunción exclusiva». La siguiente tabla muestra varios ejemplos de
proposiciones combinadas mediante una disyunción para ayudar comprender su
funcionamiento.
 Conjunción.
Cada proposición tiene un valor de verdad independiente de las otras proposiciones con
las que trabajamos. Por eso, al relacionarlas podemos tener diversos resultados. Por
ejemplo, si tenemos las proposiciones «está lloviendo» y «es martes» con diferentes
valores de verdad, podemos tener las siguientes variaciones:
 Es cierto que está lloviendo (V), es cierto que es martes (V).
 Es cierto que está lloviendo (V), no es cierto que es martes (F).
 No es cierto que está lloviendo (F), es cierto que es martes (V).
 No es cierto que está lloviendo (F), no es cierto que es martes (F).
La conjunción es una conectiva lógica representada con el símbolo ^ . Cuando la usamos,
el valor de verdad de la proposición compuesta es verdadera, únicamente, si las dos
proposiciones a las que aplicamos son verdaderas y es falsa si por lo menos una de ellas es
falsa. En el ejemplo anterior, si representamos el enunciado «está lloviendo» con A y el
enunciado «es martes» con B, la proposición compuesta A^B, creada con la conectiva de
conjunción, será verdadera solamente si es cierto que está lloviendo (V) y es cierto que es
martes (V) y será falsa en todos los otros casos.
Esta relación de se puede representar de forma tabular con la siguiente tabla de verdad:
En lenguaje natural la conjunción es aproximadamente equivalente a la
palabra y cuando la usamos para combinar diferentes enunciados. En
este ejemplo, la expresión «está lloviendo y es martes» tiene el mismo
significado que la expresión A^B. La siguiente tabla muestra varios
ejemplos en lenguaje natural y sus equivalentes en notación de lógica
proposicional.

Condicional.
La condicional lógica, también llamada condicional material o simplemente condicional
denotado con símbolo →→ es un conectivo lógico que une dos proposiciones pp llamado
antecedente y qq llamado consecuente formando una nueva proposición denotado
por p→qp→q tal que su valor de verdad es falso si el antecedente es verdadero y
consecuente es falso, para otras combinaciones de valores de verdad de pp y qq resulta
ser siempre verdadera.
Una proposición que tenga como conectivo lógico dominante a la condicional lógica, lo
llamaremos proposición condicional.
La proposición:
o Si ella se porta bien, entonces la llevaré de paseo.
Lo podemos desglosar de la siguiente manera:
o Ella se porta bien.
o La llevaré de paseo.
Por si solos, resulta ser enunciados abiertos, también podemos ver que la oración lleva
dos palabras principales, esto es “Si…., entonces….”, donde:
o Si “ella se porta bien“, indica una afirmación de un precedente, en este caso, no
importa quién puede ser ella.
o Entonces “la llevaré de paseo “, indica una consecuencia, aquí no importa quién
puede ser ella para llevarle de paseo.
Podemos decir que:
o “Ella se porta bien “, es la causa
o “La llevaré de paseo” es la consecuencia o la conclusión.
En base a esto, podemos encontrar 4 posibles combinaciones de verdad de un mismo
enunciado:

Las 3 primeras proposiciones son verdaderas y la última es falsa.

Aquí “ella se porta bien” es el antecedente y “la llevaré de paseo” es el consecuente. Pero
si el antecedente está formado por dos enunciados como por ejemplo:
  Los humanos tienen dos piernas.
 Sergio es humano.
 Por tanto, Sergio tiene dos piernas.
Linealmente se escribiría así:
o Los humanos tienen dos piernas, Sergio es humano, entonces Sergio tiene dos
piernas.
Aquí, el antecedente es “Los humanos tiene dos piernas y Sergio es humano” formado por
dos premisas donde “Los humanos tiene dos piernas” es la premisa mayor y “Sergio es
humano” es la premisa menor y el consecuente es “entonces, Sergio tiene dos piernas “.
Regla: Para tomar los valores de verdad del enunciado anterior, primero debemos tomar
los valores de verdad formada por el antecedente donde encontramos una conjunción
lógica “y” que uno a las dos premisas del enunciado, luego tomamos la validez entre el
antecedente y consecuente conectados por la condicional.
Generalmente, el estudio de este tipo de proposiciones es necesario el uso de paréntesis
para indicar que conector lógico tiene mayor jerarquía y cuáles no.
Tener en cuenta que las premisas son aquellas oraciones que anteceden a la conclusión.
TABLAS DE VERDAD:

Equivalencia.
En todas las áreas de las matemáticas necesitamos mecanismos para saber cuándo dos
entidades son iguales o esencialmente las mismas. En la lógica proposicional este
concepto se llama equivalencia y se da entre dos proposiciones cuando ambas siempre
tienen el mismo valor de verdad para una misma asignación de valores de verdad de las
proposiciones que las componen.
Equivalencia lógica.
Una proposición es lógicamente equivalente a otra cuando cada una de las asignaciones
de valores de verdad a las proposiciones simples que las componen genera el mismo valor
de verdad en ambas proposiciones. En otras palabras, dos expresiones son lógicamente
equivalentes si sus tablas de verdad son iguales.
La equivalencia lógica se representa con el símbolo ≡≡ y significa que podemos
reemplazar una expresión con su equivalente ya que ambas generan la misma tabla de
verdad. La expresión  A ∧ B ≡ B∧ A  nos indica que podemos reemplazar cualquier
ocurrencia de A^B con B^A sin alterar los valores de las expresiones donde hacemos el
cambio o la validez de los procesos de razonamiento donde las utilizamos.
Equivalencia material.
La equivalencia material es una conectiva lógica representada con el símbolo ↔ cuyo
valor de verdad es V si las proposiciones a las que se aplica tienen el mismo valor de
verdad y tiene un valor de verdad F si los valores de verdad de las proposiciones son
diferentes. Podemos representar el comportamiento de la conectiva con la siguiente tabla
de verdad:
En lenguaje natural esta conectiva está aproximadamente
representada con la expresión «si y solo si» y se le suele denominar
bicondicional o doble implicación. Estos nombres se deben a que es
lógicamente equivalente a la conjunción de dos implicaciones donde el
antecedente de una es el consecuente de otra y el consecuente de la
primera es el antecedente de la segunda. Esta relación la podemos ver
con más claridad en la siguiente tabla:

Equivalencias de uso
más frecuente.
Existe una cantidad
infinita de pares de
expresiones que son
equivalentes
lógicamente, pero
existe un conjunto
reducido que es usado
con mucha frecuencia
en los procesos de
razonamiento y
comúnmente se les
llama «propiedades
del álgebra de
proposiciones» o
«leyes de la lógica».
  Dos expresiones son lógicamente equivalentes (≡≡) cuando la equivalencia
material (↔) construida con ellas es una tautología.
 Las «propiedades del álgebra de proposiciones» o «leyes de la lógica» son
equivalencias lógicas.

"Tema 1.2.2 Los Cuantificadores - Matemáticas Discretas ...."

https://cursos.clavijero.edu.mx/cursos/006_md/modulo1/contenidos/tema1.2.2.html.
"Lógica proposicional/La disyunción - Wikiversidad." https://es.wikiversity.org/wiki/L
%C3%B3gica_proposicional/La_disyunci%C3%B3n.
"Lógica proposicional/La conjunción - Wikiversidad." https://es.wikiversity.org/wiki/L
%C3%B3gica_proposicional/La_conjunci%C3%B3n.
"¿Que es la condicional lógica? - Ciencias Básicas." https://ciencias-
basicas.com/matematica/superior/logica-proposicional/condicional-logica/.
"Lógica proposicional/Equivalencias - Wikiversidad." https://es.wikiversity.org/wiki/L
%C3%B3gica_proposicional/Equivalencias.