Lógica Jurídica

LECCIÓN 6
PROPOSICIONES E INFERENCIAS LÓGICAS:
La proposición es un discurso perfecto enunciativo que expresa un juicio y significa lo verdadero o lo falso.
Inferencia: Es la producción de unaconsecuencia basada en un supuesto hecho.
TÉRMINOS DE ENLACE O CONECTIVAS LÓGICAS DE LAS PROPOSICIONES:
La lógica simbólica es una disciplina formal, que se ocupa de puras formas, totalmentedesprovistas de contenidos y utilizan una proposición matemática. No hace referencia a ninguna clase de objeto. Cuando varios enunciados tienen el mismo significado decimos de ellos que expresan la mismaproposición. Ej.: “hace frío”, “ilfaitfroid”, “itiscool”. Son palabras diferentes y en distintos idiomas, pero tienen en común que quieren decir lo mismo.

SIMBOLIZACIÓN DE LAS PROPOSICIONES:
Cuando ellenguaje técnico no es suficiente se recurre al lenguaje formal.
El lenguaje formal es aquel que elimina los términos del lenguaje ordinario y emplea únicamente signos arbitrarios de cuyossignificados se prescinde para dirigir la atención exclusivamente a las relaciones entre dichos símbolos. Comúnmente los símbolos son “P” y “Q”. Los símbolos “.”, “Y” indistintamente representan una relación deconjunción, la “Y” del lenguaje ordinario, conjunción incluyente. Ej. Juan “y” José.
El “O” del lenguaje ordinario en el sentido de poder darse dos posibilidades al mismo tiempo dentro de un hechoEj.: traer bebidas o músicas (puede llegar a traer ambas). Se representa con “Y”.
El símbolo “V” representa una relación de disyunción excluyente, no puede darse dos posibilidades al mismo tiempo.Ej.: Ir al cine o estudiar esta noche.
El símbolo “=”, representa una de condicional. Si “A”, es entonces “B”…; A=B. Representa bicondicionalidad.

TABLAS DE CERTEZA
Nombre de la Función Notaciónsimbólicade Russel
Negación -p
Conjunción p. q
Alternativa pvq
Disyunción p/q
Implicación p q
Equivalencia p q

Negación: Es la operación que relaciona una...