jueves, 23 de agosto de 2012

LÓGICA PROPOSICIONAL

 
 
Las proposiciones.- Son oraciones, pero hay que recordar que no toda oración es una proposición.

Las proposiciones son oraciones que afirman o niegan algo.

Las Proposiciones utilizan la siguiente tabla:
Simbolo Palabra Nombre
(), {} Agrupación
- No, no es cierto Negación
^ Y, and, & Conjunción
v O, or Disyunción inclusiva
v_ O, o, xor Disyunción exclusiva
--} Si, entonces si Si condicional
{--} Si y solo si Bicondicional o implicacion doble.

Por su extensión, las proposiciones pueden clasificarse en
universales, cuando el sujeto está tomado en su extensión universal ("Todo S es P" ), particulares, cuando el sujeto está tomado en su extensión particular ( "Algún S es P" ).

La combinación de ambos criterios da lugar a los siguientes tipos de proposiciones:

Universal afirmativa ( "Todos los humanos son mortales" ).
Universal negativa ( "Ningún humano es mortal" ).
Particular afirmativa ( "Algunos planetas giran alrededor del Sol" ).
Particular negativa ( "Algunos planetas no giran alrededor del Sol" ).
Existencial afirmativa ( "Sócrates existe" ).
Existencial negativa ( "Sócrates no existe" ).

Las proposiciones son los elementos a partir de los cuales se construye los
razonamientos

 La lógica aristotélica estudia los razonamientos según un esquema llamado
silogismo.




No hay comentarios:

Publicar un comentario