Intro De La Logica

Introducción a la lógica
Se suele definir a la lógica como el estudio de los métodos y principios usados para distinguir los razonamientos correctos
de los incorrectos. En este sentido, lalógica estudia básicamente la forma de estos razonamientos, y determina si un
razonamiento es válido o inválido pero no si la conclusión de éste es verdadera o no. Lo único que la lógicapuede afirmar de un
razonamiento correcto es que si se parte de premisas verdaderas la conclusión será verdadera, pero en el caso de que alguna de
las premisas sea falsa nada se sabrá del valor deverdad de la conclusión.
Uno de los conceptos básicos de lógica es el de proposición. Suele definirse una proposición como una sentencia declarativa de
la cual puede decirse que es verdadera o falsa.Así se las distingue de otros tipos de oraciones como las interrogativas.
Lógica proposicional:
La lógica proposicional es un sistema formal (se puede pensar como un lenguaje) que nossirve para estudiar las
proposiciones o sentencias lógicas, describir, modelar y analizar algunos aspectos del mundo real o de entidades abstractas
como los objetos matemáticos.proposición:
Las proposiciones o sentencias lógicas son enunciados que pueden ser verdaderos o falsos, y se representan en nuestra
lógica con variable p, q, r, … , z; estas a su vez se pueden combinar enformulas, mediante conectivos binarios.
Ej:
simples:
mi perro es negro
está soleado
Compuestas:
3*2+1 = 7 y 7 no es par.
Sintaxis:
El lenguaje de la lógica proposicional estará formado porvariables proposicionales, conectivos u operadores lógicos,
símbolos auxiliares y las constantes T y F (true y false, o verdadero y falso)
✓ Constantes o símbolos de verdad T y F (verdaderos)
✓Símbolos Conectivos (¬, ∧, ∨, ⇒, ⇔)
✓ Símbolos de Variables (p, q, r...)
✓ Símbolos auxiliares (,), [, ], {, }.
Conectivos
¬: es un conectivo singular, llamado negación, y se aplica a una única...