Aura

Solo disponible en BuenasTareas
  • Páginas : 3 (567 palabras )
  • Descarga(s) : 0
  • Publicado : 30 de enero de 2011
Leer documento completo
Vista previa del texto
LOGICA TRADICIONAL:
• Es una lógica de términos y de conceptos.
• Se expresa con el lenguaje común natural
• Se simbolizan los términos, distinguiendo sujeto y predicado así como lacantidad y calidad de los juicios (A,E,I,O)
• Solo permite analizar juicios de tipo S es P.

LOGICA PROPOSICIONAL
• Es una lógica de proposiciones y de juicios
• Se expresa con unlenguaje simbólico artificial
• Se simbolizan las proposiciones, sin distinguir sujeto y predicado ni la cantidad y calidad de los juicios
• Puede analizar diversas relaciones proposicionales.Juicios Simples: solamente un sujeto y un predicado
Juicios Compuestos: varios sujetos y predicados
Juicios Relacionados por las conectivas “y”: Disyunción “o” “si entonces”
(Condicional): La lógica proposicional examina razonamientos formados por proposiciones compuestas unidad por ciertos conectivos lógicos.

La lógica proposicional estudia la validez de los razonamientos,estableciendo sus formas lógicas. Para ellos simboliza las proposiciones de acuerdo a ciertas reglas.

Reglas de simbolización
Se trata de simbolizar las proposiciones y las conectivaslógicas para determinar la validez de razonamientos formados por proposiciones compuestas así como para establecer sus formas lógicas.
Las reglas de simbolización son las siguientes:
Lasproposiciones simples o atómicas se representan con las letras minúsculas: p, q, r, s, t, etc. A cado proposición le corresponde una letra, empezando con la p; si se repite la proposición, se repite la letra.Las conectivas lógicas se representan con los siguientes símbolos:
Conjunción, Disyunción, Condicional, Bicondicional, negación.
Las proposiciones compuestas o moleculares las proposicionesconectadas con otras , si se conectan con otras, se encierran entre paréntesis para distinguir las relaciones lógicas que establecen los conectivos.
La conclusión por lo tanto se representa...
tracking img