MM Lógica Matemática y Conjunto

Mere som dette

FILÓSOFOS ANTIGUOS (HELENÍSTICOS)

af Gustavo Gómez Reyes

Santo Tomas de Aquino

af Anny Campo

Creación de Programas de Computacion

af Tomás Parra

Mod1,2

af Jorge Flores

MM Lógica Matemática y Conjunto

Calculo Proposicional

Para verificar el valor de verdad de una proposición compuesta se usan las tablas de verdad

Teoría de conjuntos

Definir un conjunto

Comprensión

Enumeración

El objeto debe ser descrito de tal manera que sea posible decidir si es o no elemento del conjunto

Diagramas de Venn

Los conjuntos están representados por círculos

Operación de Cojuntos

Infinitos

Finitos

Conectivos lógicos

Proposiciones y su valor de verdad

Falso

Verdadero

Términos que conectan proposiciones simples en la formación de proposiciones compuestas

Proposición compuestas

relacionar dos o más proposiciones proposiciones simples

y, o, si… entonces, si y sólo si

Proposición Simples

No puede descomponerse en dos oraciones que sean proposiciones

Proposición lógica

Debe tener sujeto, verbo y complemento