Está en la página 1de 12

UNIVERSIDAD SAN LORENZO

FACULTAD DE CIENCIAS JURIDICAS Y HUMANIDADES


CARRERA DERECHO

LOGICA JURIDICA

Tema:

"LECCIN 6: PROPOSICIONES E INFERENCIAS LGICAS"

Prof. de Ctedra: Abg. Brunilda Zarza

Integrantes: *Jos Cardozo C.I. n 1.165.079

*Miguel Gimnez C.I. n 4.268.864

*Natalia Rolon C.I. n 4.021.803

Curso: Cuarto Turno: Noche

San Lorenzo Paraguay

Ao 2017
INDICE

INTRODUCCIN ............................................................................................... 3
LECCION VI ....................................................................................................... 4
PROPOSICIONES E INFERENCIAS LGICAS ................................................ 4
PROPOSICIONES E INFERENCIAS LOGICAS ................................................ 4
CONECTIVA LOGICA Y SIMBOLIZACIN DE PROPOSICIONES ................... 4
TERMINO DE ENLACE O CONECTIVAS LGICAS DE LAS
PROPOSICIONES ............................................................................................. 5
TABLA DE CERTEZA NEGACION .................................................................... 5
DISYUNCIN: ................................................................................................ 6
DISYUNCIN INCLUYENTE: ......................................................................... 6
DISYUNCIN EXCLUYENTE: ........................................................................ 6
CONJUNCIN: ............................................................................................... 6
CONDICIONAL: .............................................................................................. 7
BICONDICIONAL: ........................................................................................... 7
REGLAS DE LA INFERENCIA Y DEMOSTRACION. INFERENCIA: ................. 8
CONCLUSIN ................................................................................................. 10
BIBLIOGRAFA ................................................................................................ 11
ANEXO ............................................................................................................. 12

2
INTRODUCCIN

El abogado, en el ejercicio de su profesin, encuentra un sin nmero de


eventos que se presentan en un entorno en el que, el mismo estar inmerso,
por tal razn el rea Lgica Jurdica, como uno de los ejes bsicos de la
formacin, y debe orientarse al desarrollo integral del individuo para despertar
su creatividad, espritu investigativo y capacidad de propiciar cambios con un
sentido crtico, econmico, social y lgico.

Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos


conceptos claros y bsicos para el entendimiento de este; uno de ellos son las
lgica.

El trabajo desarrollado se enfoca en la PROPOSICIONES E INFERENCIAS


LGICAS. En particular, este trabajo bosquejar los trminos de enlace o
conectivas lgicas de las proposiciones, la simbolizacin de proposiciones, las
tablas de certeza y las reglas de inferencias y demostracin.

La lgica es una rama de la filosofa la cual estudia la demostracin e


inferencia valida.

El estudio de la lgica y de las proposiciones nos ayudara a tener un


pensamiento preciso y herramientas para argumentar claramente situaciones
de una manera ms exacta.

Sin ms que acotar se invita al lector a adentrarse en el contexto investigativo.

3
LECCION VI
PROPOSICIONES E INFERENCIAS LGICAS

PROPOSICIONES E INFERENCIAS LGICAS 1. Trminos de enlace o


conectivas lgicas de las proposiciones. 2. Simbolizacin de
proposiciones. 3. Tablas de certeza. 4. Reglas de inferencias y
demostracin

PROPOSICIONES E INFERENCIAS LOGICAS

CONECTIVA LOGICA Y SIMBOLIZACIN DE PROPOSICIONES

SIMBOLOS NOMBRES CONECTIVAS

- Negacin no, no es cierto que, nunca, nada, ni..

Conjuncin y, pero, auque

V Disyuncin Inclusiva o, a menos que


(incluyente)

V Disyuncin Exclusiva o, o bien


(excluyente)

Condicional simple si, entonces

Bicondicional es condicin suficiente, si, y solo si

= Equivalencia equivale a

) Implicancia Implica

4
TERMINO DE ENLACE O CONECTIVAS LGICAS DE LAS
PROPOSICIONES

PROPOSICION: Es la expresin lingstica del juicio. Es un enunciado al cual


se le puede asociar uno de los conceptos verdadero o falso , pero no
ambos.

Si el enunciado es una pregunta o una orden, si es demasiado impreciso o si


carece de sentido, no se podr clasificar como verdadera o falsa, y por lo tanto
no sera una proposicin.

EJEMPLO

La manzana es una fruta Es proposicin

te sientes bien? No es una proposicin Es una pregunta.

Es agua tiene color Es una proposicin

Sal de aqu No es una proposicin es una orden

Cuando varios enunciados tienen el mismo significado decimos de ellas que


expresan la misma proposicin.

EJEMPLO: Hace frio - ilfairfroid - itis cold

Salta a la vista que estas palabras son diferentes, estn compuestas por
palabras distintas, y hasta corresponden a distintos idiomas. Pero tambin
advertimos que los tres tienen algo en comn quieren decir lo mismo

TABLA DE CERTEZA NEGACION

Tiene por funcin invertir el valor de verdad de la proposicin a que se aplica.


Como puede observarse una proposicin verdadera negada es falsa, y una
proposicin falsa negativa es verdadera.

P -P

V F

F V

5
DISYUNCIN:
Representada en la o del lenguaje diario.

DISYUNCIN INCLUYENTE:

Puede darse las dos posibilidades al mismo tiempo. Requiere que uno de sus
componentes sea verdadero.

A C C
(antecedente) (Consecuente) (Conclusin)
P Q PVQ

V V V

V F V

F V F

F F F

DISYUNCIN EXCLUYENTE:

Puede no darse dos posibilidades al mismo tiempo. Se entiende como una o la


otra, pero no ambas.

P Q PVQ

V V V

V F V

F V F

F F F

CONJUNCIN:

Esta proposicin vincula a sus componentes mediante la conjuncin en el y


de lenguaje ordinario. Solo es verdad si sus dos trminos son verdaderas, y es
falsa en cualquier otro caso.

P Q P.Q

V V V

V F V

F V F

F F F

6
CONDICIONAL:

La condicional de dos proposiciones se denota por el si. Entonces a P se le


da el nombre de antecedente y Q es el consecuente. Se dice que P es
condicin suficiente para que ocurra Q o que Q en condicin necesaria para
P

La relacin resulta falsa cuando el antecedente es verdadero y el consecuente


el falso, y verdadero en todos los dems casos.

P Q P Q

V V V

V F V

F V F

F F F

BICONDICIONAL:

Corresponde a la combinacin de dos condicionales, se utiliza la expresin si y


solo si. Esta conectiva es extremadamente rigurosa, es decir que cada
proposicin es condicin necesaria y suficiente del otro. Resulta verdadera solo
si sus dos trminos tienen el mismo valor, o sea si ambos son falsos o
verdaderos.

P Q P Q

V V V

V F V

F V F

F F F

7
REGLAS DE LA INFERENCIA Y DEMOSTRACION. INFERENCIA:
Es el proceso del razonamiento por el cual partiendo de una o ms
proposiciones aceptadas como verdaderas, se pasa a otra proposicin o a
otras proposiciones que se cree contenida en la verdad de las primeras.

EJEMPLO

(PREMISA 1) Si l est en el partido de ftbol, entonces l esta en el estadio.


(PREMISA 2) El que est en el partido de ftbol. El esta en el estadio.

MODOS:

El nombre de esta regla se puede explicar de la siguiente manera, Esta regla


es el mtodo (modus) que afirma el consecuente afirmando el antecedente.

EJEMPLOS

Son las cinco

Son las cinco, entonces la oficina est cerrada

La oficina est cerrada

MODUS TOLIENDO TOLLES (TT)

Permite, pasar de dos premisas: una preposicin condicional y una proposicin


que niegue el consecuente con una conclusin que niega el antecedente.

EJEMPLOS: Mara esta triste Entonces llora Mara no esta triste

Si no tiene luz propia entonces el astro es una estrella

El astro no es una estrella

No tiene luz propia.

Si como estar satisfecho No estoy satisfecho Entonces, no com

MODUS PONIENDO PONES:

Permite pasar de dos premisas a la conclusin. Decir que la conclusin es


consecuencia lgica de las premisas, es decir, que siempre que las son ciertas,
la conclusin tambin es cierta. Si tengo una condicional y tengo la
negacin del consecuente entonces tambin tengo la negacin del
antecedente.

8
EJEMPLO

Si como estar satisfecho como

Entonces estoy satisfecho

LA DOBLE NEGACIN

La doble negacin de una proposicin equivale a su afirmacin. EJEMPLO

No es cierto que Platn no es hijo de Aristteles, entonces, es cierto que


Aristteles es hijo de Platn

La regla de la doble negacin se utiliza frecuentemente como modus Tollendo


Tolles, ya que es esencialmente la misma forma.

A QUE SE LLAMA PROPOSICIN TAUTOLGICA,


CONTINGENTE Y CONTRADICTORIA?

a) TAUTOLGICA:

Cuando en el resultado final, todos los valores son verdaderos.

b) CONTINGENTES:

Cuando en el resultado final aparece mezclados o combinados la falsedad con


la verdad.

c) CONTRADICCTORIA:

Cuando en el resultado final los valores son falsos.

CUANDO UNA PROPOSICIN ES LGICA Y CUANDO NO LO ES?

Una proposicin lgica es aquella que est compuesta por un consecuente,


una conectiva y un antecedente

9
CONCLUSIN

Para culminar se reflexiona acerca de que la lgica proposicional es una de las


piezas fundamentales de la Inteligencia, se precisa de un lenguaje formal para
representar los hechos que se reciben del mundo real y el uso de las
proposiciones.

El utilizar proposiciones es una seal que encaja en forma perfecta en este


mbito. Es un modo sencillo y prctico de resolver un problema, considerando
que se puede resolver disgregando el problema en proposiciones u oraciones
sencillas que permiten analizar los hechos y tomar decisiones, es decir, crear
nuevas proposiciones u oraciones sencillas o compuestas que se incorporan a
la base de conocimiento, permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica
para la resolucin de problemas o la representacin de la realidad a nivel de
proposiciones.

Cabe mencionar que incluso los alumnos al realizar el desarrollo de este tipo
de trabajos no solamente afianzan sus conocimientos sino que otorga
facultades de trabajo de investigacin, que redundara en beneficios futuros
como profesionales.

10
BIBLIOGRAFA

Badesa, C.; Jan, I.; Jansana, R. (1998). Elementos de lgica formal. Ariel.

Echave, Delia y otros, Lgica, Proposicin y Norma Astrea, Bs. Aires. 1983

Garca Maynez, Eduardo, Lgica del Juicio Jurdico Fondo de Cultura


Econmica, Mxico.1955.

Nudler, Telma B. Elementos de Lgica Simblica. Ed. Kapelusz. Bs. Aires.


1984.

11
ANEXO

12

También podría gustarte