UNAdM

Licenciatura en Matemticas
Miguel Angel Lpez Martnez
ES162010719

Lgica Proposicional
Definicin:
En 2014 Villalpando y Garca sealan que: La lgica es una ciencia formal y su objetivo
de estudio son los distintos principios de demostracin que permitan comprobar que una
afirmacin pueda ser considerada como vlida. Adems explican que: La metodologa
de trabajo de la lgica consiste en examinar la validez o la invalidez de una afirmacin
mediante la aplicacin de una sistematizacin en los argumentos y de un anlisis de su
estructura lgica, sin tener en cuenta el contenido de lo que se ha argumentado ni
considerar siquiera el lenguaje utilizado, y sin completar el estado de realidad del
contenido. Por ltimo sealan que: La aplicacin de la lgica destaca en electrnica,
para el diseo de circuitos mediante compuertas lgicas, y en programacin, para el
diseo de programas que requieren la unin de operadores lgicos.

Tambin Gonzales 2012 define a la lgica proposicional como: "La parte de la lgica que
estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la
inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la
estructura interna de las proposiciones ms simples

Lgica en computacin
Uso de la lgica en computacin.
Segn Acosta la lgica es uno de los fundamento de la computacin y se localiza en la
inteligencia artificial en las entidades de software, ya que son autnomas y razonables. En
ellos se utiliza la programacin lgica inductiva, lgica descriptiva. Otra de las
herramientas que se utilizan en la computacin es la lgica de Boole para describir
circuitos

lgicos

travs

de

ecuaciones.

UNAdM
Licenciatura en Matemticas
Miguel Angel Lpez Martnez
ES162010719

Lgica en diseo de circuitos

Diseo de circuitos
Gonzales 2012 nos explica que: La realizacin del diseo de un circuito puede involucrar
la creacin de un sistema electrnico complejo, como el de una placa madre de una
computadora, o circuitos menos complejos como el de un sistema integrado.

Tambin Gonzales nos habla de la etapa del diseo del circuito y describe que: Es donde
se genera el esquema del circuito integrado, y se considera una etapa media entre el
diseo lgico (donde se dice qu debera de hacer el circuito en base a que entradas) y el
diseo fsico (parte en la que se estructura el diseo del circuito a imprimir a una placa).

Lgica en el juego
En el Blog para tareas de la FIME de la carrera ITS encontramos que dentro de las
aplicaciones ms comunes de la lgica proposicional se encuentran: La que se usa en
los juegos, ya sean de azar o estrategia, su aplicacin en este campo ha sido aplicando y
estudiado durante muchos aos, por muchos cientficos y matemticos que por medio de
la lgica buscan obtener los mejores resultados en los juegos.
Por ltimo describe que: Los jugadores plantean estrategias para ganar en estos juegos,
pero estas estrategias solo forman parte de lo que es la lgica proposicional. Los
jugadores que conocen ms estas estrategias en la lgica del juego son los que cuentan
con ms probabilidades de xito contra uno que solo juega por instinto, ellos lo llaman
"estrategia ganadora".

UNAdM
Licenciatura en Matemticas
Miguel Angel Lpez Martnez
ES162010719

Bibliografa

Villalpando J., Garca A. (2014). Matemticas Discretas aplicaciones y ejercicios:

Grupo Editorial Patria Universidad de Guadalajara. Mxico. Pp. 20
Recuperado de:
http://danimtzc.blogspot.mx/2012/08/aplicacion-de-la-logica-proposicional.html
Recuperado de:
http://ramon-gzz.blogspot.mx/2012/08/aplicaciones-de-la-logica-proposicional.html
Video recuperado de:
https://www.youtube.com/watch?v=-e9z-IQrQTw