La lógica estudia la forma
del razonamiento, es una disciplina que por medio de reglas y técnicas
determina si un argumento es válido. La lógica es ampliamente aplicada en la
filosofía, matemáticas, computación, física. En la filosofía para determinar si
un razona miento es válido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo la lógica permite saber el significado correcto.
En las matemáticas para demostrar teoremas e inferir resultados matemáticas que
puedan ser aplicados en investigaciones. En la computación para revisar
programas. En general la lógica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir
de compras al supermercado un ama de casa tiene que realizar cierto
procedimiento lógico que permita realizar dicha tarea.
La lógica es pues muy
importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado
el ser humano utilizando solamente su inteligencia y apoyándose de algunos
conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los
ya existentes o simplemente utilización de los mismos.
Un concepto es una unidad cognitiva de significado, un contenido mental que
a veces se define como una "unidad de conocimiento".
En el idioma científico,
una proposición se refiere a un enunciado que puede ser verdadero o falso,
generalmente una oración enunciativa, Una proposición lógica es
Expresión enunciativa a la que puede atribuirse un sentido o función lógica de
verdad o falsedad.
Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.
Otro tipo de entes que se utilizan en computación que también está asociado a “dos” opciones, es lo que se conoce como expresiones booleanas. Se pueden ver caracterizadas como verdaderas ó falsas y de acuerdo a esta condición se desarrolla el estudio sobre dichos conceptos. Se le conoce como cálculo de proposiciones.
El valor de verdad de una proposición lógica atómica (o variable proposicional) es, por definición, verdadero o falso (podemos
representarlo como V o F).
Así el enunciado “llueve” es
verdadero si y sólo si está lloviendo en ese momento. Pero si dicho enunciado
se considera como proposición lógica atómica, p, entonces puede ser tanto
verdadera como falsa.
Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia
definición de proposición lógica.
El contenido de la relación de
un enunciado con lo real no es objeto de la lógica sino de otras ciencias.
- ProposiciónCompuesta
- Proposición Condicional
- Proposición Bicondicional
No hay comentarios:
Publicar un comentario