LOGICA PROPOSICIONAL y sus conectores lógicos

[pic 1]

UNIVERSIDAD NACIONAL DE CHIMBORAZO

FACULTAD DE CIENCIAS POLÍTICAS Y ADMINISTRATIVAS

CARRERA DE DERECHO

INTEGRANTES: 

VALERIA BOSQUEZ

SAMANTHA BONILLA

DARWIN LOPEZ

CRISTHIAN MIRANDA

VERONICA MOLINA

EMILY MORENO

JONATHAN OCAMPO

JENNY SANTAFE

SHEREVIN PINOS

DAMARIS PEREZ

SEMESTRE: PRIMERO

DOCENTE: DR. ALEX DUCHICELA

MATERIA: LOGICA Y ARGUMENTACION JURIDICA

TEMA: LOGICA PROPOSICIONAL

RIOBAMBA-ECUADOR

INDICE

PORTADA……………………………………………………………………..……1

ÍNDICE………………………………………………………………………………2

INTRODUCCIÓN …………………………………………………………………..3

1. LÓGICA PROPOSICIONAL……………………………………………..4
2. TABLA DE VERDAD……………………………………………………...5
3. CONECTIVOS LÓGICOS………………………………………………...6

1. CONJUNCIÓN………………………………………………………7
2. DISYUNCIÓN DÉBIL………………………………………………8
3. DISYUNCIÓN FUERTE…………………………………………….9
4. CONDICIONAL……………………………………………………10
5. BICONDICIONAL…………………………………………………11
6. NEGACIÓN………………………………………………………...12

1. TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA…………..13

1. TAUTOLOGÍA …………………………………………………….13
2. CONTRADICCIÓN………………………………………………...14
3. CONTINGENCIA…………………………………………………..15

1. CONCLUSIONES Y RECOMENDACIONES………………………….16

1. CONCLUSIONES ………………………………………………….16
2. RECOMENDACIONES…………………………………………….16

INTRODUCCION

El tema de este trabajo redactado es la Lógica Proposicional el cual será desarrollado y explicado claramente a continuación.

El presente trabajo se lo está realizando con el fin de explicar el tema de la Lógica Proposicional y sus conectores lógicos que contiene, así mismo aprender que es y cómo se desarrolla, para así ponerlo en práctica.

A la lógica se la puede encontrar en dos tipos. La Lógica como una ciencia formal es la que propone estudiar los métodos y los principios adecuados para identificar al razonamiento correcto e incorrecto. Y, la lógica simbólica, también conocida como lógica proposicional es aquella que se basa en la aplicación de símbolos por medio de tablas de verdad, la cual nos permite ver si las proposiciones son verdaderas o falsas.

La lógica proposicional tiene seis conectores lógicos, cada uno tiene su propia simbología, significado y regla de uso, con estos conectores lógicos podemos dar uso para aplicarlos en la tabla de verdad. Los cuales explicaremos claramente a continuación.

1. LOGICA PROPOSICIONAL

Es de vital importancia saber que significa cada uno de sus términos:

1.  LOGICA

La lógica es una ciencia formal y una rama de la filosofía, estudia los principios del pensamiento y sus estructuras. También es un sistema que nos permite verificar si un razonamiento es válido o inválido.

1.  PROPOSICION

Una proposición es un enunciado que tiene un valor lógico o valor de verdad sea: verdadero o falso.

Ejemplo:

[pic 2]

Así mismo hay enunciados que no son proposiciones, son aquellas que no se puede responder si es verdadero o falso. O cuando se habla de deseos.

Ejemplo:

[pic 3]

La lógica proposicional estudia la formación de proposiciones compuestas, las mismas que están hechas por proposiciones simples y tienen un valor de verdad.

Dentro de la lógica proposicional las proposiciones se las interpreta con las letras del alfabeto p, q, r, s, t, las cuales son llamadas variables proposicionales se las escribe en minúsculas

Existen dos tipos de proposiciones: simples y compuestas.

Proposiciones simples son aquellas que solamente tienen solo un enunciado o variable sea p, q, r, s, t, el cual podrá ser verdadero o falso, y no contiene conectores.

Ejemplo:  

[pic 4]

Proposiciones compuestas son aquellas que están conformadas por dos o más proposiciones simples es una preposición que usa conectivos para unir o enlazar proposiciones como y, o, si.. solo si, si…. entonces, etc.

Ejemplo:  

[pic 5]

1. TABLA DE VERDAD

En la tabla de verdad las posibilidades aumentan según las variables proposicionales, es decir si solamente existe la variable ‘‘p’’ tendrá dos posibilidades, si tiene ‘‘p, q’’ tendrá 4 posibilidades. La fórmula para determinar el número de posibilidades es:

 [pic 6]

TABLA SIMPLE                                                                 TABLA COMPUESTA

1. CONECTIVOS LOGICOS

Son palabras que enlazan o unen las proposiciones simples sean dos o más con el fin de generar una proposición compuesta, cada conectivo lógico tiene su símbolo, un nombre que identifica la función y su regla propia.

Ejemplo:  

[pic 7][pic 8]

Tabla de conectivos lógicos:

CONJUNCIÓN

...