Resultado de búsqueda
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras ...
La lógica proposicional es una rama de la lógica clásica que estudia las variables proposicionales o las sentencias lógicas y sus implicaciones. Conoce sus características, historia, utilidad, conectores, reglas, tabla y ejemplos en este artículo.
10 de feb. de 2020 · Aprende qué es la lógica proposicional, cómo se estudia y representa mediante conectivos, funciones de verdad y operadores lógicos. Conoce los tipos de conectivas, sus tablas y ejemplos de proposiciones compuestas.
Estas tablas de verdad son: Una frase de la lógica proposicional que debe ser cierta es una tautología. Una sentencia que debe ser falsa es una sentencia contradictoria. Una sentencia que no es ni tautología ni sentencia contradictoria es una sentencia contingente.
1.1.1 Proposiciones y Conectivos Lógicos. En un intento por sistematizar el razonamiento matemático, surge el concepto de Lógica Proposicional. Como su nombre lo explícita, trabajaremos con proposiciones lógicas; las cuales poseen un valor de verdad (verdadero o falso).
Una proposición es simplemente una declaración. La lógica proposicional estudia las formas en que las declaraciones pueden interactuar entre sí. Es importante recordar que a la lógica proposicional no le importa realmente el contenido de las declaraciones.
Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática.
