LOGICA SESI N 2

Katherin Yojana Romero Pulido
Asistencia Gerencial
Sesión No 2 – Del 26 de Julio al 1 de Agosto


Lógica matemática
Es una parte de la lógica y la matemática, que consiste en el estudio matemáticode la lógica y en la aplicación de dicho estudio a otras áreas de las matemáticas y de las ciencias. La lógica matemática estudia los sistemas formales en relación con el modo en que lo definan,objetos matemáticos como conjuntos, numero, algoritmos.
La lógica matemática se divide en 4 campos.
Teoría de modelos
Teoría de la demostración
Teoría de conjuntos
Teoría de la recursión

ProposiciónEs toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras o símbolos quetengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico o valor de verdad

Proposiciónsimple
También denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir. (El cielo es azul)


Proposición compuesta

Son también denominadas moleculares y son aquellasque están formadas por 2 o más proposiciones simples unidas por los operadores logísticos. (Fui al banco, pero el banco estaba cerrado)

Termino de enlace

Es la representación de las formulas de lalógica proporcional, establecimientos de criterios de agrupación y propiedad de los conectivos. Se define como una proposición compuesta escrita sin ambigüedad en el lenguaje.
El término de enlacedominante debe estar por fuera de los paréntesis.


Paréntesis
Son signos de puntuación que se usan a pares y que encierran información. ()

Conjunción
La conjunción es un operador que opera sobredos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es...