origenes del dominio español en america

UNIVERSIDAD MARIANO GALVES DE GUATEMALA
FACULTAD DE HUMANIDADES















DOCENTE: Msc. Fredy del Valle Galicia



ESTUDIANTE: M.E.P. Delia Lucero Morales Morales


CURSO: Lógica
CODIGO: 1271-301


TRABAJO: Calculo Proposicional


Primer Semestre

SECCION: “A”


AÑO:2,013


INDICE




pág.
Caratula………………………………………….................................. 1

Índice……………………………………………………………………. 2

Introducción……………………………………………………………. 3

Calculo Proposicional…………………………………………….……. 4

1 Enunciados simples y compuestos………………………………... 4
1.1 Proposiciones simples y compuestas……….………………… 5

2 EnunciadosCondicionales…………………………………………. 6

3 Correctores conectores lógicos y tablas de verdad…………….. 6
3.1 Conjunción…………………………………………………………. 6
3.2 Disyunción…………………………………………………………. 7
3.3 Negación…………………………………………………………… 8
3.4 Condicional……………………………………………………….... 9
3.5 Bicondicional………………………………………………………. 9
3.6 Tablas de Verdad………………………………………………… 10

4. Tautología, Contingencia y Contradicción………………………. 11Conclusión……………………………………………………………. 13

Bibliografía…………………………………………………………… 14


















INTRODUCCIÓN

Con la presente damos a conocer una parte conformante de la lógica, como lo es el cálculo proposicional, el objetivo que se tiene es conocer más a fondo el mismo, los enunciados, los conectores y las tablas de verdad, son simplemente un comienzo para definir si un enunciado es falso o verdadero, aplicando estosconocimientos en acciones de la vida cotidiana.















CALCULO PROPOSICIONAL


Es también llamada lógica proposicional, es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. La lógica proposicional ológica de orden cero trata con sistemas lógicos que carecen de cuantificadores o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicionalincluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
Una lógica proposicional es un sistema formal cuyos elementos más simples representanproposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

1. ENUNCIADOS SIMPLES Y COMPUESTOS

Un enunciado es una oración gramatical, pero no todas las oraciones gramaticales representan proposiciones.

Una proposición es una oración declarativa (o aseverativa) donde se afirma o niega algoque puede ser verdadero o falso.

Los enunciados pueden ser: simples o compuestos.

Enunciado Simple: es aquel que no contiene ningún otro enunciado como parte constituyente de sí mismo.

Ejemplo: Ana es casada.

Enunciado Compuesto: es aquel que contiene a otro enunciado como parte constituyente de sí mismo.

Ejemplo: Ana es casada y Ana es buena.


1.1 PROPOSICIONES SIMPLES YCOMPUESTAS

Una proposición simples un enunciado del cual podemos afirmar que es verdadero o falso.

A las proposiciones simples, también se les llama categóricas, su valor de verdad puede ser verdadero (V) o falso (F) y se clasifican:


1) Por su cualidad en afirmativas y negativas.

Ejemplos: “Los lagartos son reptiles”...