Presentación III

Asignatura
LÓGICA COMPUTACIONAL
Facilitador
Gregorio de la Rosa
Correo Electrónico
[email protected]
Tel:809-765-6448
LÓGICA COMPUTACIONAL
La lógica constituye la herramienta formal de razonamiento de la mayor
parte de las asignaturas de la carrera de informática, sobre todo de las
que están más relacionadas con las matemáticas y la
Programación.
La lógica computacional es la misma lógica matemática aplicada al

contexto de las ciencias de la computación. Su uso es fundamental a
varios niveles: en los circuitos computacionales, en la programación
lógica y en el análisis y optimización (de recursos temporales y espaciales)
de algoritmos.
Todo sistema computacional, por muy complejo que sea, no está

compuesto por más que circuitos electrónicos que únicamente entienden
un lenguaje binario. La lógica computacional se encarga de modelar y
optimizar tales sistemas a este nivel.
RESEÑA HISTORICA DE LA LÓGICA
La lógica computacional es la misma lógica matemática aplicada al

contexto de las ciencias de la computación. Su uso es fundamental a
varios niveles: en los circuitos computacionales, en la programación
lógica y en el análisis y optimización (de recursos temporales y
espaciales) de algoritmos.
Andréi Nikoláyevich Kolmogórov (1903 - 1987)
Fue un matemático ruso que hizo progresos importantes en los
campos del escenario y de la topología. En particular, desarrolló una
base axiomática que supone el pilar básico de la teoría de la
probabilidad a partir de la teoría de conjuntos. Trabajó al principio de
su Algoritmo.
EN QUE CONSISTE LA LÓGICA MATEMÁTICA
La lógica computacional es la misma lógica matemática

aplicada al contexto de las ciencias de la computación. Su uso
es fundamental en varios niveles: en los
circuitos computacionales, en la programación lógica y en
el análisis y optimización (de recursos temporales y
espaciales) de algoritmos.
Importancia LA LÓGICA MATEMÁTICA

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en
el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas
de las matemáticas. La lógica matemática tiene estrechas conexiones con
la ciencias de la computación y la lógica filosófica.
La lógica
que
matemática estudia los sistemas formales en relación con el modo en el

codifican
como conjuntos, números, demostraciones y computación.
nociones
La lógica matemática suele dividirse en cuatro subcampos: teoría de

modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La
investigación en lógica matemática ha jugado un papel fundamental en el estudio
intuitivas de objetos matemáticos
de los fundamentos de las matemáticas. Actualmente se usan indiferentemente

como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática,
lógica teorética y lógica formal.1
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de
la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y
estudiadas matemáticamente.
PROPOSICIONES COMPUESTAS
En lógica matemática se dispone de los denominados operadores lógicos,

que permiten modificar proposiciones, o asociar dos o más enunciados
simples, convirtiéndolos en proposiciones compuestas. ... Si las
dos proposiciones son verdaderas o las dos son falsas, el valor de verdad
de la disyunción exclusiva es falso.
Las proposiciones compuestas aparecen mediadas por la presencia de

alguna clase de conector, que puede ser de oposición (o, ni), de adición (y,
e) o de condición (si). Además, se consideran compuestas a las
proposiciones negativas, que incluyen la palabra no
LAS PROPOSICIONES SIMPLES
Las proposiciones simples son aquellas que expresan un estado de

situación en su estado más sencillo, es decir, uniendo a un sujeto con un
objeto a partir del verbo “es”. Existen tanto en el ámbito de la
matemática como en el de otras disciplinas y se caracterizan por no
tener ningún término que condicione la proposición de ninguna manera.
Por ejemplo: La pared es azul.
CONJUNCIÓN
1.-Unión de dos o más cosas.
"conjunción de esfuerzos para lograr un fin; la buena decoración es una conjunción
de comodidad y belleza“
2.- Palabra que se utiliza para unir dos o más partes de una oración o dos o más
oraciones; pueden ser coordinantes, cuando unen elementos que tienen el mismo
rango sintáctico, o subordinantes, cuando unen una oración principal con una
subordinada.
"‘y’, ‘o’ y ‘ni’ son conjunciones coordinantes, y ‘porque’ y ‘aunque’ son conjunciones
subordinantes"
LA DISYUNCIÓN
La disyunción es verdadera si una de las dos proposiciones o ambas, son

verdaderas. La disyunción es el equivalente al uso de la letra O en el
idioma natural y su símbolo es ^. Es decir, el enunciado que resulta de
la disyunción de dos proposiciones solamente es falso cuando las dos
proposiciones son falsas.
La disyunción es verdadera si una de las dos proposiciones o ambas, son

verdaderas.
La disyunción es el equivalente al uso de la letra O en el idioma natural y su
símbolo es ^.
p q p^q
F F F
V F V
F V V
V V V
Es decir, el enunciado que resulta de la disyunción de dos
proposiciones solamente es falso cuando las dos proposiciones son
falsas.
Ejemplos de disyunción:
Sea p = Voy al cine, q = Voy a cenar, c = Gastaré algo de dinero.
p^q => c
Si voy al cine o voy a cenar entonces gastaré algo de dinero; la
conclusión de gastar algo de dinero es verdadera si la persona va al
cine aunque no vaya a cenar, pero también es verdadera si solamente
va a cenar y no va al cine.
La única forma en que la conclusión de gastar algo de dinero sea falsa,

es que no vaya la cine ni a cenar.
1.- Acción de negar o negarse.
"la negación de la indemnización solicitada; la negación de un
problema nunca es la manera de solucionarlo“
2.- Respuesta negativa que se da a lo que algo o alguien pide

o pretende.
"le pedí que me ayudara y obtuve una negación por
respuesta"
EQUIVALENCIA
Equivalencia adquiere varios significados según su contexto.
En lógica y matemáticas, equivalencia lógica.
En física puede significar:

Equivalencia entre masa y energía, un concepto derivado de la física relativista.
Equivalencia estática, un concepto de la mecánica clásica.
En química, un equivalente es la unidad de masa que representa a la mínima unidad
que puede reaccionar.
En traducción puede referirse a Equivalencia dinámica y formal.
En economía, equivalencia ricardiana es una teoría económica que sugiere que el
déficit fiscal no afecta a la demanda agregada de la economía.
En historia, equivalente fue un impuesto creado en 1715 por Felipe V de España para el
Reino de Valencia en aplicación del Decreto de Nueva Planta de 1707.
En derecho, el equivalente jurisdiccional es un medio diverso de la jurisdicción apto
para la legítima solución de los conflictos.

Presentación III

Cargado por

Copyright:

Formatos disponibles

Presentación III

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Presentación III

Cargado por

Copyright:

Formatos disponibles

Asignatura

La lógica computacional es la misma lógica matemática aplicada al

Todo sistema computacional, por muy complejo que sea, no está

La lógica computacional es la misma lógica matemática aplicada al

La lógica computacional es la misma lógica matemática

La lógica matemática suele dividirse en cuatro subcampos: teoría de

de los fundamentos de las matemáticas. Actualmente se usan indiferentemente

En lógica matemática se dispone de los denominados operadores lógicos,

Las proposiciones compuestas aparecen mediadas por la presencia de

Las proposiciones simples son aquellas que expresan un estado de

La disyunción es verdadera si una de las dos proposiciones o ambas, son

La disyunción es verdadera si una de las dos proposiciones o ambas, son

La única forma en que la conclusión de gastar algo de dinero sea falsa,

2.- Respuesta negativa que se da a lo que algo o alguien pide

En física puede significar:

También podría gustarte