Perito Contador En Computacion

Universidad de San Carlos de Guatemala
Facultad de Ciencias Económicas
Matemáticas I

TEMA DE INVESTIGACIÓN
ELEMENTOS DE LÓGICA SIMBÓLICA

Mejia Barrios, Kinberly Melania
201216355

Salón304

Guatemala, 24 de julio de 2012.

ELEMENTOS DE LÓGICA SIMBÓLICA

ÍNDICE

Pág.
Introducción

1. Lógica simbólica 4/5
2.1. Definición
2.Proposición 5/6
3.2. Definición
3.3. Tipos
3.4.1. Proposiciones simples
3.4.2.1. Definición
3.4.2.2. Otros nombres con que se les conoce3.4.2.3. Ejemplos
3.4.2. Proposiciones compuestas
3.4.3.4. Definición
3.4.3.5. Ejemplos
3.4. Ejemplos de enunciados que no se consideranproposiciones
3.5. Formas de representar las proposiciones
3. Forma proposicional 6/7
4.6. Definición
4.7. Ejemplos
4. Tablas de verdad 7/10
5.8. Tipos ydefinición
5.9. Determinación del número de valores de verdad en una tabla
5. Valor de verdad 10/11
6.10. Definición
6. Operaciones con proposiciones 11/15
7.11.Conectivos (nombres y significado)
7.12.3. Tipos
7.12.4. Simbología
7.12.5. Operaciones
7.12.6.6. Negación
7.12.6.7. Conjunción7.12.6.8. Disyunción inclusiva
7.12.6.9. Disyunción exclusiva
7.12.6.10. Implicación o condicional
* Recíproca
* Inversa
* Contra recíproca
7.12.6.11.Doble implicación, equivalencia o bicondicional
7.12. Ejemplos de cada operación con proposiciones
7.13. Ejemplos de cada tipo de tabla de verdad

7. Bibliografía 16Introducción:

En este trabajo consiste en investigar los distintos conceptos de algunos temas como lógica simbólica, cuales son los distintos tipos que tiene este tema.

Contiene temas así como la...