Lógica

LÓGICA

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado.

Lógica Proporcional

Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.​

 Una proposición matemática es una expresión algebraica que puede acarrear dos valores : ser verdadera o ser falsa, aunque nunca ambas a la vez.las proposiciones matemáticas tienen un valor de verdad (que será la veracidad o la falsedad de su enunciado). De acuerdo a sus características, es posible distinguir entre proposiciones simples (que carecen de conectores lógicos) y proposiciones compuestas (cuentan con más de un conector lógico). 

Lógica Cuantificacional

Es llamada también lógica de predicados o lógica de primer orden.

La lógica cuantificacional estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes y métodos para establecer la validez de los razonamientos 

esta lógica estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos  o algunos ).

Tabla de la verdad

Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor de verdadde una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

La tabla de los "valores de verdad", es usada en el ámbito de la lógica, para obtener la verdad (V) o falsedad (F), valores de verdad, de una expresión o de una proposición. Además sirven para determinar si es que un determinado esquema de inferencia es formalmente válido como un argumento, llegando a la conclusión de que este es una tautología (se habla de una tautología cuando todos los valores de la tabla mencionada son "V" o sea verdadero).

Preposición Condicional

La proposición condicional "si p entonces q" se denota con "p-->q" Una proposición condicional es falsa si y sólo si (por definición) p es falsa y q verdadera. Otra forma de verbalizar la proposición condicional es "p si q" o "p a condición de q".