Guia: procesadores
1.
a. Una lógica clásica o lógica estándar es un sistema formal que respeta
los siguientes principios:
Principio del tercero excluido
Principio de no contradicción
Principio de explosión
Monotonicidad de la implicación
Los ejemplos más comunes de lógicas clásicas son la lógica
proposicional, la lógica de primer orden y la lógica de segundo orden.
Logica proposicional
Una lógica proposicional, o a veces lógica de orden cero, es un sistema
formal cuyos elementos más simples representan proposiciones, y
cuyas constantes lógicas, llamadas conectivas lógicas,
representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica
de predicados o cálculo de predicados, es un sistema formal diseñado
para estudiar la inferencia en los lenguajes de primer orden. Los
lenguajes de primer orden son, a su vez, lenguajes
formales con cuantificadores que alcanzan solo a variables de individuo,
y con predicados y funciones cuyos argumentos son solo constantes o
variables de individuo.
Lógica de segundo orden
Una lógica de segundo orden es una extensión de una lógica de primer
orden en la que se añaden variables que representan propiedades,
funciones y relaciones, y cuantificadores que operan sobre esas
variables. Así se expande el poder expresivo del lenguaje sin tener que
agregar nuevos símbolos lógicos.
b. El microprocesador es la parte de la computadora diseñada para llevar
acabo o ejecutar los programas. Este viene siendo el cerebro de
la computadora, el motor, el corazón de esta máquina. Este ejecuta
instrucciones que se le dan a la computadora a muy bajo nivel
