MM Lógica Matemática y Conjunto

Plus de détails

Lógica proposicional

par Pablo Jimenez

logica proposicional

par Tomas Urdin

SIMBOLIZACIÓN DE PROPOSICIONES

par Silvia Santiago

New Map

par Irán Terán Patiño

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