ghchfd

 la lógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos.
 
Un razonamiento es cualquier grupo de oraciones declarativas,tal que una de ellas (conclusión) se afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de la primera. Para efectos del curso, estudiaremos dos tipos derazonamiento:
1. Inductivo: comúnmente, por analogía; afirma probabilidad o cierta evidencia de la verdad de la conclusión.
2. Deductivo: sus premisas ofrecen una evidencia contundente de la verdad dela conclusión. Su correctitud viene dada por la validez o invalidez del razonamiento.

El cálculo proposicional es también llamado, lógica proposicional, calculo sentencial, álgebra Booleana. Elcálculo proposicional, junta dos cálculos de predicados con la constitución de símbolos lógicos.
La Lógica Matemática surge como una disciplina matemática cuyo objeto de estudio es la lógica delrazonamiento matemático humano (y actualmente también de otras formas de razonamiento.) Requiere de expresar la lógica en términos susceptibles de ser representados y manejados por un computador.
La lógicaproposicional es la parte de la lógica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen unrazonamiento.


Es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa.
Expresión verbal que afirma o niega algo.
Secuencia finita de signos con significado y sentido de sercalificado como verdadero o falso.
Expresión lingüística susceptible de ser calificada de verdadera o falsa. hace referencia explicita a las oraciones aseverativas o enunciativas.
 
EJEMPLOS:
CIERTOSLa raíz cuadrada de 4 es 2.
Los bebes lloran.
Un cuadrado tiene 4 lados.
FALSOS
Todos los carros tiene 2 ruedas.
20 + 20 = 20.
Ningún hombre sabe leer.

Tabla de verdad de la conjunción
La...