Eddie

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 7

COLEGIO DE BACHILLERATO

“Dr. José Ochoa León”


Asignatura
Matemáticas
Docente:
Lic. Cesar Hernández
Alumno:
Eddie Efrain Carmona Rivera
Año de Educación Básica Superior
10 mo
Paralelo: “A”
Año Lectivo: 2022-2023
Investigacion de Matemáticas
Fecha: Martes 06 de Febrero del 2024

Lógica Matemática
¿Qué es la lógica matemática?

La 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.

Cómo se hace 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,

La demostración no es más que una modalidad de la exposición, más lógica, coherente y


concreta, con la cual se procura confirmar una afirmación o un resultado anteriormente
enunciado. Demostrar es presentar razones encadenadas lógicamente o hechos concretos que
ratifiquen determinadas afirmaciones.

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

La teoría de la computabilidad es un campo en la informática teórica que se ocupa de entender


las capacidades y limitaciones fundamentales de las computadoras y otros dispositivos de
cálculo. Alan Turing y Alonzo Church, en la década de 1930, desarrollaron ideas clave en este
campo. La teoría de la computabilidad se centra en problemas decidibles e indecidibles,
máquinas de Turing y funciones computables, explorando la noción de qué problemas pueden
ser resueltos algorítmicamente. Este campo es esencial para comprender los límites de la
computación y la complejidad de los algoritmos.

Proposiciónes valor de verdad

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.

Cuántos y cuáles son los valores de verdad?

Según estos filósofos, hay, por lo tanto, tres valores de verdad: verdadero, falso e
indeterminado.
Condicional

Si p y q son dos enunciados, la proposición compuesta si p entonces q se llama condicional de p


y q, y se escribe:

Pq

Siendo la proposición p el antecedente del condicional y q el consecuente.

El valor de verdad del condicional es falso solamente si el antecedente es verdadero y el


consecuente es falso.

Otras maneras de describir literalmente el condicional son las siguientes expresiones:

P  q: p es condición necesaria para q

P  q: q es condición suficiente para p

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

De una manera literal el bicondicional se expresa:

P« q : p si y sólo si q

P « q : p es condición necesaria y suficiente para q

P « q : p es condición para q y q es condición para p

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.

 Si una proposición es falsa, su negación es verdadera.

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).

Qué son los conectores lógicos en matemáticas?

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:

a. El sol sale por el oriente


b. Juan, ¿tienes el computador?
c. Rosa es la niña más linda de la clase.
d. El Nacional ganará el próximo domingo.
c. Antioquia es un departamento de Panamá.

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).

La lógica proposicional estudia oraciones como la a. o la e. (anteriores) a las que sin


ambigüedad se les

Puede asignar un valor de verdad. A tales oraciones se les Ilama proposiciones y se designan
por letras

Minúsculas del alfabeto.

Ejemplos:

A: El sol sale por el oriente.

B: Antioquia no es un Departamento de Panamá.

Son proposiciones.

También podría gustarte