Está en la página 1de 6

República Bolivariana de Venezuela

Ministerio Del Poder Popular de Economía, Finanzas y Banca Pública

Escuela Nacional De Administración y Hacienda Pública

1er Semestre sección “B”

CORTE 1
LÓGICA MATEMÁTICA

Docente: Arnoldo Paradisi

Alumno: Ramos, Julio

C.I: 27.321.781

Caracas, septiembre del 2020


1) Definición de Lógica Matemática
Es la disciplina que trata de métodos de razonamiento. En un nivel elemental,
la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. Comprende la aplicación de las técnicas de la lógica formal a la
construcción y el desarrollo de las matemáticas y el razonamiento matemático, y
conversamente la aplicación de técnicas matemáticas a la representación y el
análisis de la lógica formal. La investigación en lógica matemática ha jugado un
papel crucial en el estudio de los fundamentos de las matemáticas. El
razonamiento lógico se emplea en matemáticas para demostrar teoremas; en
ciencias de la computación para verificar si son o no correctos los programas; en
las ciencias física y naturales, para sacar conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lógico para realizar
cualquier actividad.

2) Ventajas de utilizar Lógica Matemática

 El pensamiento lógico matemático es fundamental para comprender


conceptos abstractos, razonamiento y comprensión de relaciones.
 Desarrollo del pensamiento y de la inteligencia.
 Capacidad de solucionar problemas en diferentes ámbitos de la vida,
formulando hipótesis y estableciendo predicciones.
 Proporciona orden y sentido a las acciones y/o decisiones.
 Permite establecer relaciones entre diferentes conceptos y llegar a una
comprensión más profunda.
 Fomenta la capacidad de razonar, sobre las metas y la forma de planificar
para conseguirlo.

3) Sistemas formales de Lógica:

a) Lógica Proposicional: La lógica proposicional o lógica de orden cero es un


sistema formal cuyos elementos más simples representan proposiciones, y
cuyas constantes lógicas, llamadas conectivas, representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad.
La lógica proposicional trata con sistemas lógicos que carecen de
cuantificadores, o variables interpretables como entidades. En lógica
proposicional si bien no hay signos para variables de tipo entidad, sí existen
signos para variables proposicionales (es decir, que pueden ser interpretadas
como proposiciones con un valor de verdad de definido), de ahí el nombre
proposicional. La lógica proposicional incluye además de variables
interpretables como proposiciones simples signos para conectivas lógicas, por
lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de
proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura
interna de las proposiciones más simples.

b) Lógica Primer Orden: es una colección de sistemas formales utilizados en


matemáticas, filosofía , lingüística e informática . La lógica de primer orden
usa variables cuantificadas sobre objetos no lógicos y permite el uso de
oraciones que contienen variables, de modo que en lugar de proposiciones
como "Sócrates es un hombre", se pueden tener expresiones en la forma
"existe x tal que x es Sócrates y x es un hombre ", donde" existe " es un
cuantificador, mientras que x es una variable. Esto la distingue de la lógica
proposicional, que no usa cuantificadores ni relaciones; en este sentido, la
lógica proposicional es el fundamento de la lógica de primer orden.

Para ello, considera dos niveles de abstracción, que dan lugar al lenguaje
proposicional y al predicativo.
Ej:

Objetos: gente, casas, números, planetas…


Relaciones: propiedades, hermano de, mayor que…
Propiedades: rojo, pequeño, primo…
Funciones: padre de, un-más-que.

c) Lógica Modal: La lógica modal es un tipo de lógica formal desarrollada


principalmente en la década de 1960 que extiende la lógica proposicional y
predicada clásica para incluir operadores que expresan modalidad. Un
modal, una palabra que expresa una modalidad, califica un enunciado. Por
ejemplo, el enunciado "John es feliz" podría matizarse diciendo que John
suele ser feliz, en cuyo caso el término "normalmente" funciona como
modal.

4) ¿Cuáles son los símbolos en Lógica Matemática?


Símbolos lógicos básicos:

Símbol Leer como


Explicación Ejemplos
o
Categoría
condicional A ⇒ B es verdad (en 3 de
(implicación) las 4 posibilidades) si
ambos son falsos, ambos
implica,
verdaderos o B verdadero
si .. entonces
⇒ → puede significar lo mismo x = 2  ⇒  x2 = 4 es
que ⇒ (pues existe otro verdadero, pero x2 = 4
caso donde él indica la ⇒  x = 2 es, considerando
→ relación entre dominio y
contra dominio de
todas las posibilidades
falso (considerando que
lógica una función; véase tabla de el x podría ser
proposicional, álgebra símbolos matemáticos). también −2).
⊃ de Heyting
⊃ puede significar lo mismo
que ⇒ (pues existe otro
caso donde
indica subconjunto).

si y solamente si (sse)
⇔ si y solo si; sse A ⇔ B es verdad solo si A y
B fueran falsos
o A y B fueran verdadero.
≡ lógica proposicional
A<->B es verdad cuando 
x + 5 = y + 2  ⇔  x + 3 = y

( A -> B & B -> A)


es verdad 

negación
¬ negado

La proposición ¬A es ¬(¬A) ⇔ A


˜ lógica proposicional
verdadera si y solamente si
A es falso.
x ≠ y  ⇔  ¬(x = y)

!
conjunción lógica La proposición A ∧ B es n < 4  ∧  n >2  ⇔  n = 3
∧ y (and)
verdadera si A y B son cuando n es un número
ambos verdaderos; si no, es natural.
lógica proposicional,  falso.
Álgebra booleana

disyunción lógica

& (inclusiva)
o (or) La proposición A ∨ B es
verdadera si A o B (o n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3
+ ambos) es verdadero; si
lógica ambos son falsos, la
cuando n es un número
natural.
proposicional, Álgebra proposición es falsa.
booleana
ǀǀ
Disyunción exclusiva
La proposición A ⊕ B es
⊕ xor
verdadera cuando por los
(¬A) ⊕ A es siempre
menos un A o B, pero nunca
verdadero, A ⊕ A es
lógica ambos, es
siempre falso.
proposicional, Álgebra verdadero. A ⊻ B tiene
booleana mismo significado.

Tautología

⊤ verdad, verdadero,
(top, verum)
Independientemente de las
A ⇒ ⊤ es siempre
condiciones, la proposición
T lógica
⊤ es verdadera.
verdadero.

proposicional, Álgebra
booleana
1
Contradicción

⊥ (bottom, falsum)
falsedad, falso
Independientemente de las
⊥ ⇒ A es siempre
condiciones, la proposición
F lógica ⊥ es falsa.
proposicional, Álgebra
verdadero.

booleana

0
Cuantificador ∀ x: P(x) o (x)P(x) significa  ∀ n ∈ ℕ: n2 ≥ n.
∀ universal
P(x) es verdadero para todo
para todo; para
cualquier uno;
para cada

lógica de primer x.
orden
Cuantificador
() existencial
existe; ∃ x: P(x) significa que hay
∃ hay por lo menos un
por lo menos un x para
el cual P(x) es verdadero.
∃ n ∈ ℕ: donde n es par.

lógica de primer
orden
Cuantificador para
unicidad
∃! x: P(x) significa que existe
existe exactamente
∃! un
exactamente un x para el
cual P(x) es verdadero.
∃! n ∈ ℕ: n + 5 = 2n.

lógica de primer
orden
definición x := y o x ≡ y significa x está
:= es definido como
siendo definido como otro
nombre usando y (pero
cosh x := (1/2)(exp x +
notar que ≡ puede
exp (−x))
significar congruencia).
≡ concepto universal P :⇔ Q significa P está
A XOR B :⇔
(A ∨ B) ∧ ¬(A ∧ B)
siendo definido
siendo lógicamente
:⇔ equivalente a Q.

grupo que posee


precedencia Son realizadas primero las (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1,
() paréntesis, (brackets)
operaciones de dentro del
paréntesis.
pero 8 ÷ (4 ÷ 2) = 8 ÷ 2 =
4.
concepto universal
Trinquete x ⊢ y
deduce que significa y permite ser
⊢ lógica
probado a partir de x (en un
sistema formal
A → B ⊢ ¬B → ¬A
proposicional, lógica
especificado).
de primer orden
doble trinquete x ⊨ y significa que x
semánticamente trinquete y
⊨ A → B ⊨ ¬B → ¬A

También podría gustarte