República Dominicana

Universidad Dominicana O&M

Sustentante:

YSMARLIR PIÑA CANDELARIO

Matricula:

12-EPSS-1-435

Tema:

LA LOGICA

Materia:

MATEMATICA

Sección:

0121

Profesor:

MARCELINA DE PAULA MANZUETA

Fecha:

15/02/2023
INTRODUCCION

En esta sección y en la siguiente, introducimos la lógica de primer orden, también

denominada lógica predicada, lógica cuantificaciones y cálculo de predicado de primer
orden. La frase “x > 0” no es en sí misma una proposición porque su valor de verdad
depende de x. En este caso, decimos que x es una variable libre. Una oración con al menos
una variable libre se denomina predicado (o oración abierta). Para convertir un predicado
en una proposición, debemos sustituir valores por cada variable libre o “cuantificar” las
variables libres. Utilizaremos notación como P(x) y Q(a,b) para representar predicados
con variables libres x y a, b, respectivamente. Las letras “P” y “Q” que usamos en la
oración anterior no son especiales; podemos usar cualquier letra o símbolo que queramos.
Por ejemplo, cada una de las siguientes representa un predicado con las variables libres
indicadas.
QUE ES LOGICA

Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano
(como proposiciones, conceptos y razonamientos) para establecer leyes y principios
válidos para obtener criterios de verdad.

Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la
razón. Indica también una consecuencia esperable natural o normal

DIVISION DE LA LOGICA

Lógica elemental: considera los elementos formales del pensamiento: el concepto, el

juicio, el raciocinio.

Lógica metodológica: (lógica de las ciencias) trata el procedimiento al que debe sujetarse
el conocimiento científico para llegar a su fin esencial: La verdad objetiva.

Material: llamada también «lógica mayor», estudia las condiciones materiales de las
ciencias y analiza o resuelve el razonamiento en los principios de los que depende en
cuanto a su materia, para que se tenga una conclusión sólida del lado de la materia. El
razonamiento puede ser falso o verdadero.

La lógica natural.- consiste en pensar con orden, ilación, coherencia.

La lógica científica. – que es una teoría y una técnica para perfeccionar la lógica natural.

La lógica jurídica: tiene por objeto dirigir el razonamiento expresándose correctamente

en el campo del Derecho.

DEFINICION DE PROPOSICION

Como proposición se conoce el acto por medio del cual se expresa algo que consideramos
o pensamos. Como tal, puede referirse al acto de manifestar algo a alguien, hacer una
propuesta a una persona, determinarse o proponerse a hacer una cosa, o recomendar a
alguien para un empleo.
El término proposición, como tal, es aplicable a diferentes disciplinas de conocimiento,
como la filosofía, la lógica, la gramática, la retórica, la matemática, la geometría o el
derecho.

CLASIFICACION DE LA PROPOSICION

Proposición en Gramática

En gramática, una proposición es una oración, es decir, una palabra o un conjunto de

palabras con sentido completo o, dicho de otro modo, una unidad semántica constituida
por sujeto y predicado, y que puede o no estar acompañada de otros complementos, o
puede ir unida mediante coordinación o subordinación a otras proposiciones para formar
oraciones compuestas.

Proposición en Filosofía

Para la Filosofía, una proposición es un producto lógico surgido del acto de afirmar o
negar algo, lo cual constituye un juico.

Proposición en Lógica

Para la Lógica, como proposición se denomina la unidad de razonamiento que expresa un

contenido semántico al que se puede asignar un valor de verdad, es decir, que puede ser
cierto o falso. Para ello, la proposición debe expresarse mediante una lengua natural,
aunque también puede realizarse en lenguajes formales, como el de las matemáticas.

Proposición en Matemáticas

En Matemáticas, como proposición se designa la enunciación de una verdad demostrada

o que se trata de demostrar mediante una fórmula constituida por una serie de signos. Para
que una proposición matemática sea interpretable como una verdad, esta debe encontrarse
bien formada, pues de lo contrario no puede tener valor de verdad debido a que no hay
garantía de que sea interpretable.

Proposición indecorosa

En el habla coloquial, se conoce como proposición indecorosa a los requerimientos de

tipo sexual o erótico que una persona hace a otra. Este tipo de proposiciones son
consideradas, por lo general, indecentes o contrarias a la moral, por lo cual constituyen
un abuso.
VALOR DE VERDAD DE SU PROPOSICION

El ser humano en la vida diaria, se comunica con sus semejantes a través de un lenguaje
determinado (oral, escrito,..., etc.) por medio de las denominadas frases u oraciones, estas
pueden tener diferentes significados pero siempre van a resumirse a las formas de
verdaderas o falsas, siendo este el precedente fundamental para el desarrollo del
pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer
una proposición y a partir de un conjunto de estas podemos llegar a una conclusión, siendo
la ciencia encargada del estudio de estas, la lógica.

LAS PRINCIPALES PROPOSICIONES COMPUESTAS

La disyunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas.

SUS DEFINICIONES Y TABLAS DE PROPOSICIONES MATEMATICAS

Las tablas de verdad son un método para saber si una fórmula molecular (es decir,
formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre
F).

Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante una
contradicción.

Como hemos dicho, cualquier proposición puede tener valor V (verdadero) o F (falso).
Cuando hacemos una tabla de verdad asignamos todas las combinaciones posibles de
valores para esas variables preposicionales.

Si la formulación consta de una variable "p" tenemos 2 valores de verdad (V y F).

Si la formulación consta de 2 variables "p" y "q" tenemos 2 elevado a dos, es decir, 4

posibilidades.

Si la formulación consta de 3 variables "p", "q” Y "r”, tenemos 2 elevado a 3, es decir, 8

posibilidades.
LA NEGACION

Indicar que algo no tiene existencia o que carece de veracidad es una acción que recibe el
nombre de negar. El resultado de dicha acción, por su parte, se conoce como negación,
un término que proviene del latín (negatio).

Este concepto, por lo tanto, menciona la privación o la insuficiencia de algo. En el ámbito

de la gramática, la negación es una categoría en la que se incluyen aquellos términos que
se emplean con ese fin y puede considerarse como un elemento de la lingüística que se
utiliza para negar una expresión o un componente de una oración. Para esto, se usa un
adverbio, una locución u otra clase de palabra. A partir de la negación, se sostiene que
algo no existe o que una acción no se concreta.
LA DISYUNCION NEGATIVA

En lógica proposicional, la disyunción opuesta, también conocida como inalternador,

daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización ↓\downarrow
debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en
verdadero sí y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma.
Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta.

LA IMPLICACION

Mucho es lo que se ha escrito y discutido sobre el condicional desde la antigüedad hasta

el presente. Según Bochenski, Calímaco el bibliotecario de Alejandría, ya en el Siglo II
a.c. decía que "Hasta los cuervos graznan en los tejados sobre cuál es la implicación
correcta"1.

Sin embargo, aún quedan por aclarar y resolver algunos problemas de suma importancia
en torno a la naturaleza del condicional y la implicación. El presente artículo tiene por
propósito resolver un problema sustancial sobre la tercera línea de la definición tabular
del condicional e indicar las alternativas propuestas para superar los defectos de la
implicación material.

La lógica del condicional

Examinemos la siguiente definición tabular estándar o "filónica" del condicional que

aparece en todos los libros básicos de lógica y matemática:

LA TAUTOLOGIA O CONTRADICCION

Te explicamos qué es una tautología en lógica y te mostramos ejemplos. Además, qué

son la contradicción y la contingencia.

En las disciplinas de la lógica y la retórica, se emplea el término tautología para referirse

a aquellos enunciados autoevidentes, obvios o redundantes, o sea, que resultan verdaderos
desde cualquier posible interpretación, pues se explican y afirman a sí mismos. Por ello,
una tautología es un argumento falaz, inválido, vacío.

LOS CUANTIFICADORES
Esta es una extensión del capítulo de lógica proposicional, pero será una sección principal
del capitulo de teoría de conjuntos. La razón es muy sencilla, cuando trabajamos con
teoría de conjuntos, es necesario especificar cantidades de un conjunto dado, los términos
que nos ayudarán a especificar la cantidad se llaman cuantificadores.

Es por ello que vamos a tomar algunos conceptos de lógica de predicados y estar
preparados para secciones posteriores del curso actual.

Lo que veremos en breve son aquellos argumentos que indican cantidad de algo, pueden
ser mencionados tanto en lo plural o singular y como tal, trabajaremos siempre a nivel
proposicional, este tipo de argumentos proposicionales que indican cantidad se les llama
proposiciones categorías.

De las proposiciones categóricas se puede desprender dos tipos de cuantificadores, esto

son, los cuantificadores universales y existenciales que transforman a las funciones
proposicionales en proposiciones.

CLASIFICACION CUANTIFICADORES

Cuantificadores de entidades individuales

En este caso, los individuos cuantificados son designados por sustantivos contables
(libros, mesas, cuadros) y se les puede asignar un número cardinal que especifique la
cantidad de las entidades cuantificadas (dos libros, tres mesas).

Cuantificadores de materias o sustancias

Este tipo de cuantificación se realiza con los sustantivos no contables, es decir, con los
que no se puede hacer tina estimación numérica: poco viento, mucha arena. A este grupo
pertenecen muchos sustantivos abstractos como mucho entusiasmo, tanta simpatía.

Cuantificadores de grado

Estos cuantificadores expresan el grado en que se manifiesta una propiedad: muy delgado,
lejos de casa, tan interesante. Los cuantificadores de grado son: algo, bastante, mucho,
muy, poco, demasiado, más, menos, etc.

DIVISION DE LOS CUANTIFICADORES

La clase de los cuantificadores está formada por palabras o estructuras que asignar,
cantidad, número o grado a muy diversas categorías gramaticales.

El grupo de los cuantificadores es muy heterogéneo: se puede cuantificar mediante un

adverbio (muy bueno), una construcción (la mitad de su peso); pero también mediante un
prefijo (rebueno).

La Cuantificación es un concepto semántico que se expresa mediante categorías

gramaticales distintas (muy bueno, rebueno) y se aplica sobre diferentes sintagmas
(adjetivos, verbos, sustantivos, etc.).

Cuantificar significa expresar la medida de algo, en forma numérica (dos vasos, tres
respuestas) o con otra forma de estimación (poco trabajo, comer mucho, más viajes que
nunca).

EJEMPLOS DE LOS CUANTIFICADORES

p = ” El numero 2 es par”

q = ” la suma de 2 + 2 es 4″

entonces…

pvq: «El numero 2 es par o la suma de 2 + 2 es 4″

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

∀x∈R,2x∈R

Para todo x que pertenece a R, se cumple que 2x pertenece a R.

∀a∈R,∃x∈R:a<x<(a+1)

Para todo a que pertenece a R, existe x que pertenece a R, que está comprendido entre a
y a+1.

∀a∈R−{0},∃!x∈R:a⋅x=1

Para todo a que pertenece a R diferente de cero, existe un único x que pertenece a R, que
cumple que a por x es igual a 1.
Proposiciones

Cuantificación universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una determinada propiedad. Por ejemplo:

∀x∈A:P(x)

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificación existencial

El cuantificador existencial se usa para indicar que hay uno o más elementos en el
conjunto A (no necesariamente único/s) que cumplen una determinada propiedad. Se
escribe:

∃x∈A:P(x)

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición siguiente:

{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío.

Cuantificación existencial única

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

∃!x∈A:P(x)

Se lee:

Existe una única x elementos de A, que cumple P(x).

Equivalencias

Se tienen las siguientes relaciones universales:

∀x∈A:P(x)⟷¬∃x∈A:¬P(x)

Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no cumpla

P(x).

∃x∈A:P(x)⟷¬∀x∈A:¬P(x)

Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se cumple

P(x).

En cuanto al cuantificador existencial único puede considerarse una extensión por

definición en un lenguaje formal con igualdad teniendo dada la equivalencia:

∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)

Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A, que
cumple P(x) y P(y), entonces x es igual a y.

CONCLUSION
Para culminar y terminar esta facultad de estudios superiores Cuautitlán laboratorio de
química analítica i proyecto: cuantificación de ácido muriático (acido clorhídrico) en un
producto comercial marca: el sultán equipo cuarta Alma Ivette Lázaro Gutiérrez
introducción En la vida cotidiana estamos constantemente en continuo contacto con
productos comerciales, que son sintetizados, analizados y sometidos a diferentes pruebas.
La función de un químico es el hacer este tipo de análisis y para ello es adecuado conocer.