LÓGICA DE PROPOSICIONES.
Enviado por toloman • 28 de Junio de 2016 • Tareas • 455 Palabras (2 Páginas) • 805 Visitas
Los lenguajes son sistemas complejos, que asocian contenidos de pensamiento y significación a manifestaciones simbólicas tanto orales como escritas. Existen dos tipos básicos y reconocidos de lenguajes: los lenguajes naturales y los lenguajes artificiales. El origen y desarrollo de los primeros, como pueden ser, el inglés o el francés, es natural, es decir, sin el control de ninguna teoría. Las teorías de lenguajes naturales y las gramáticas, fueron establecidas a priori, esto es, después de que el lenguaje había ya madurado. Por otro lado, los lenguajes artificiales fueron desarrollados generalmente a través del establecimiento de una teoría, la cual le da las bases para dichos lenguajes.
Se distinguen 2 tipos del lenguaje artificial que son:
El lenguaje técnico generalmente utilizado por científicos y técnicos para comunicarse entre ellos y una característica del lenguaje es que las palabras que se utilizan carecen de ambigüedad y designan con precisión aquello que deben designar.
El lenguaje formal como el lenguaje utilizado por las matemáticas, lógica y ciencias de la computación, el cual está lleno de símbolos y reglas para unirlos que están formalmente especificados.
El término verdad está relacionado con el concepto de proposición. Las proposiciones son afirmaciones que pueden considerarse como verdaderas o falsas y se representan con las letras p, q, r, s, t, ya sea en minúsculas o mayúsculas.
El concepto de validez aplica para los razonamientos que no son ni verdaderos ni falsos, ya que un argumento o razonamiento solo puede ser válido (correcto) o inválido (incorrecto).
Los conectivos lógicos se refieren a las relaciones que se dan entre proposiciones. Dichas relaciones se expresan a través de las palabras que se llaman términos de enlace o conectores. Hacer una relación entre las proposiciones puede cambiar el juicio de verdad sobre la nueva oración que se forma.
Los principales conectores lógicos son:
Nombre | Colectivo | Símbolo |
-y- | Conjunción | ʌ |
-o- | Disyunción inclusiva | ˅ |
o-o- | Disyunción Exclusiva | Ṿ |
Si-entonces | Condicional | → |
-si y sólo si | Bicondicional | ↔ |
-no- | Negación | [pic 1] |
Ejemplo:
p= Puebla esta en México
r= 2+2=5
q= Las rosas son rojas.
Proposición simbolizada | Lectura |
[pic 2] | 2+2 no es igual a 5 |
[pic 3] | Si puebla está en México, entonces 2+2=5 |
[pic 4] | Puebla está en México y las rosas son rojas |
[pic 5] | 2+2=5 si y sólo si Puebla está en México |
[pic 6] | O Puebla está en México o 2+2=5 |
[pic 7] | Puebla está en México y las rosas no son rojas. |
...