Eddie
Eddie
Eddie
Lógica Matemática
¿Qué es la lógica matemática?
En lógica matemática se comienza con la lógica de primer orden, la cuál contiene sentencias de
forma proposicional y además usa términos que representan objetos. Para construir sentencias
se recurre a símbolos, constantes, variables, funciones, cuantificadores, símbolos predicados,
etc.
Teoría De La Demostración,
Teoría De Conjuntos
La teoría de conjuntos es un área fundamental en matemáticas que estudia conjuntos, que son
colecciones de objetos. Fue desarrollada por Georg Cantor en el siglo XIX. Esta teoría establece
reglas para la manipulación de conjuntos y define conceptos como unión, intersección,
pertenencia y cardinalidad, entre otros. La teoría de conjuntos proporciona la base para
muchas ramas de las matemáticas modernas.
Teoría de modelos,
La teoría de modelos es una rama de la lógica matemática que se ocupa de estudiar las
relaciones entre las estructuras matemáticas y las afirmaciones que se pueden expresar sobre
ellas en un lenguaje formal. Se centra en entender y clasificar los diferentes tipos de
estructuras matemáticas que pueden satisfacer ciertas propiedades lógicas.
Esta teoría aborda cuestiones como la consistencia, completitud y decidibilidad de los sistemas
formales. Los modelos en este contexto son interpretaciones matemáticas de teorías
axiomáticas, y la teoría de modelos se utiliza para analizar cómo estas interpretaciones pueden
coincidir o diferir en términos de propiedades lógicas.
Teoría de la computabilidad
Las tablas de valores de verdad constituyen una manera objetiva de detallar los valores de
verdad de proposiciones compuestas y polinomios booleanos, dependiendo de los valores de
verdad de las variables y constantes proposicionales que los conforman.
Según estos filósofos, hay, por lo tanto, tres valores de verdad: verdadero, falso e
indeterminado.
Condicional
Pq
Bicondicional
Se define como bicondicional de dos proposiciones (p, q), a la conjunción de los dos
condicionales posibles (p ® q , q ® p), es decir que la proposición p es condición para q y, al
mismo tiempo, la proposición q es condición para p.
El bicondicional se representa:
P«q
P« q : p si y sólo si q
P« q : si p entonces q y si q entonces p
El valor de verdad del bicondicional es verdadero cuando ambas proposiciones son verdaderas
o cuando ambas son falsas.
Negación
Negación de la proposición p es la proposición ¬p (se lee "no p"). El negador tiene el mismo significado que la
partícula «no» del lenguaje ordinario. Al negar un enunciado, nuestra intención es decir que ese enunciado es falso.
Si una proposición es verdadera, su negación es falsa.
Representamos las condiciones de verdad de este conector mediante una tabla. La columna inicial recoge los posibles
valores de verdad de un determinado enunciado p. La columna siguiente indica los valores de verdad que
corresponden a la negación del enunciado.
Ejemplo 1:
p: "La Luna orbita a la Tierra"
¬p: "La Luna no orbita a la Tierra"
V(p)=V
V(¬p)=F
Conectores lógicos
Los conectores lógicos son fundamentales en este ámbito, ya que permiten formar
proposiciones más complejas a partir de proposiciones más simples. Existen varios conectivos
fundamentales, incluidos la conjunción (y), la disyunción (o), la negación (no), la condicional
(si... entonces) y la bicondicional (si y solo si).
Un conector lógico (o simplemente conector) es una regla que permite tomar una o más
proposiciones, «operarlas» y de ahí construir una nueva proposición «resultado»
Ley de la lógica proporcional
Las leyes de la lógica proposicional son tautologías que a partir de un conjunto de premisas
(proposiciones simples o compuestas) se pueden hacer deducciones lógicas. Si se tienen las
proposiciones p y p → q una de las leyes lógicas permite deducir q.
La lógica proposicional
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más
simples re- presentan proposiciones, y cuyas constantes lógicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad.
La lógica proposicional estudia las sentencias u oraciones del lenguaje corriente o formal, a las
que se les puede asignar un valor de verdad, esto es verdadero (V) o falso (F). Observe las
siguientes oraciones del lenguaje corriente:
Note que en estas frases u oraciones a todas no se les puede asignar un valor de verdad.
a. A la oración “El sol sale por el oriente”, a la que se le asigna el valor de verdad
“verdadero” (V).
b. En “Juan, ¿tienes el computador?”, no le puede asignar un valor de verdad. En general,
las oraciones interrogativas y a las exclamativas no se les puede asignar un valor de
verdad.
c. A “Rosa es la niña más linda de la clase.”, no se le puede asignar un valor de verdad. La
belleza es subjetiva y todas las personas de la clase puede que no estén de acuerdo
con esa afirmación. Simon Blackburn, ed., Propositional calculus, Oxford Dictionary of
Philosophy, Oxford University Press
d. Para la afirmación “El Nacional ganará el próximo domingo.”, no se le puede asignar un
valor de verdad. E. La oración “Antioquia es un Departamento de Panamá.” Es falsa, por
lo tanto su valor de verdad es
“falso” (F).
Puede asignar un valor de verdad. A tales oraciones se les Ilama proposiciones y se designan
por letras
Ejemplos:
Son proposiciones.