II.

simbología matemática
Símbolo significado Símbolo significado
matemático matemático
𝒏
A, B.. √𝑿 raíz
≠ No es igual 𝒂 fracción
𝒃
∞ Infinito #
∑ Suma total ∀ Cuantificador
universal, para
todos
Ŗ Números reales ∈ pertenece
≤ Menor o igual ∩ Intersección
(elementos en
común)
% Por ciento ∆ O
Ø Conjunto vacío 𝜹 integración
< No menor ↔ Doble implicación
∴ Por lo tanto {} Conjunto vacío
𝑿𝒚 Elevación 𝒄𝒄

III. Unidad lógica simbólica. Conceptualizar en forma de glosario los

siguientes términos.

Termi Significado
no
lógica La lógica matemática, también
llamada lógica simbólica, lógica teorética,
lógica formal o logística, es el estudio
formal y simbólico de la lógica, y su
aplicación a algunas áreas de
la matemática y la ciencia
Forma proposicional Las formas proposicionales no tienen
valor de verdad conocido y, por lo tanto, no
serán consideradas proposiciones. Si cada
variable proposicional es reemplazada por
una proposición simple o compuesta,
la forma proposicional se convierte en una
proposición
Definición de conjunción (tabla de La conjunción es un operador, que actúa
verde) sobre dos valores de verdad, típicamente
los valores de verdad de dos
proposiciones, devolviendo el valor
de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en
cualquier otro caso.
Simbología de la proposición En lógica, se emplean un grupo de
símbolos que sirven para representar una
expresión lógica. Tales símbolos no son
explicados cada vez que son usados pues
los lógicos ya son estudiantes
familiarizados de la lógica
La lógica matemática, también
Lógica matemática llamada lógica simbólica, lógica teorética,
lógica formal o logística, es el estudio
formal y simbólico de la lógica, y su
aplicación a algunas áreas de
la matemática y la ciencia.
Preposición simple PROPOSICIONES SIMPLES: tambien
denominadas proposiciones atómicas.
Son aquellas proposiciones que no se
pueden dividir.
Disyunción inclusiva La disyunción exclusiva es una
proposición compuesta que resulta de
conectar dos proposiciones por medio de
las palabras “o – o”. ... (llamada XOR:
exclusive OR) que se lee: "p o q, pero no
ambas" es verdadera en el caso en que las
dos proposiciones tengan diferente valor
de verdad
Tablas de verdad de verdad Una tabla de verdad debe tener 2n filas
compuestas para listar todas las posibles
combinaciones de valores de verdad de
las proposiciones simples que contiene.
Enunciados Conjunto de palabras con las que se
expone o plantea un
problema matemático o cualquier
cuestión: ... Secuencia de palabras
delimitada por silencios muy marcados
que puede estar constituida por una o
varias oraciones: analizaron cada una de
las oraciones que componían
el enunciado.
 Una proposición abierta (o función
proposicional) es una expresión que
Preposición abierta contiene una variable y que al ser
sustituida dicha variable por un valor
determinado, hace que la expresión se
convierta en una proposición. ... Permiten
relacionar proposiciones para formar
nuevas proposiciones
Disyunción exclusiva (tabla de La disyunción exclusiva . (llamada XOR:
verdad) exclusive OR) que se lee: "p o q, pero no
ambas" es verdadera en el caso en que las
dos proposiciones tengan diferente valor
de verdad. Es decir, si una es verdadera,
la otra es falsa o viceversa.
Tautología Tautología: Una tautología es una
expresión lógica que es verdadera para
todos los posibles valores de verdad de
sus componentes atómicos.
Proposición Es una oración o una
expresión matemática que afirma o niega
algo. De esta manera,
una proposición tiene un valor de verdad
que puede ser verdadera o falsa. En estas
notas consideraremos solo proposiciones
matemáticas. Generalmente, para
referirnos a proposiciones específicas se
usan letras mayúsculas.
Proposición compuesta Dos enunciados simples pueden
combinarse mediante la letra y para formar
una proposición compuesta, que es la
conjunción de los primeros enunciados. Si
integramos dos enunciados mediante la
letra o, el nuevo enunciado se llama
disyunción inclusiva de los dos anteriores,
o disyunción.
Implicación (tabla de verdad) La implicación o condicional es un
operador que opera sobre dos valores
de verdad, típicamente los valores
de verdad de dos proposiciones,
devolviendo el valor de falso sólo cuando
la primera proposición es verdadera y la
segunda falsa, y verdadero en cualquier
otro caso.
Contradicción En lógica, una contradicción es una
incompatibilidad entre dos o
más proposiciones. Por ejemplo, las
oraciones «llueve y no llueve» y «ni llueve
ni truena, pero llueve y truena» expresan
contradicciones lógicas
Valor de verdad Se define como proposición o enunciado a
una oración declarativa carente de
ambigüedad, que es verdadera o falsa,
pero nunca las dos cosas
simultáneamente. La veracidad o falsedad
de un enunciado se llama su "Valor de
Verdad"
Conectivos lógicos conectiva lógica, o también conectiva,
(también llamado operador
lógico o conectores lógicos) es un símbolo
o palabra que se utiliza para conectar
dos fórmulas bien formadas o sentencias
Equivalencia (tabla de verdad) La equivalencia lógica permite reemplazar
una expresión con otra si ambas generan
la misma tabla de verdad.
La equivalencia material es una conectiva
lógica que es verdadera si las dos
proposiciones a las que se aplica tienen el
mismo valor de verdad y falsa si las
proposiciones tienen valores
de verdad diferentes
Contingencia Es cuando tienen solamente proposiciones
verdaderas para todos los valores de
verdad de las variables proposicionales
Negación la negación, también
llamada complemento lógico, es
una operación sobre proposiciones,
valores de verdad, o en general, valores
semánticos.
Polinomios lógicos es una proposición compuesta, donde el
valor de verdad de las proposiciones
componentes es variable. ... - Si las
proposiciones tienen el mismo tipo de
operador o conectivo lógico, se debe
colocar los paréntesis de izquierda a
derecha