Matemática Discreta - created from Mind Map

Seite 1

1.Lógica Matemática

2. Teoría de Conjuntos

Proposiciones

Conectivos

Para toda asignación de verdade

Oración Declarativa

Atômicas

Compuestas

Valor de Verdad

Falsa F o 0

Verdadera V o 1

Sin

Con

Orden de Prioridad

CONJUNCIÓN (p ^ q) V ^ V = V

DISJUNCIÓN (p V q) F v F = F

NEGACIÓN (¬p ~p p')

CONDICIONAL o IMPLICACIÓN (p --> q) V --> F = F

BICONDICIONAL (p <--> q) V <--> V = V F <--> F = V

1. ¬ 2. ^ 3. V 4. --> 5.<-->

p, entonces q... y.... también..... además...más.. pero.. aun así

tal vez p, tal vez q.... depronto.... depronto también.... aunque depronto

"no es el caso que" "es falso que"

p (hipótesis o premisa) --> q (conclusión o consecuencia)

Si p, entonces q.... p implica q..... p sólo si q..... q si p .... q cuando p..... q sigue de p..... p es suficiente para q... una condición suficiente para q es p.... q es necesaria para p... una condicíon necesaria para p es q

p si y solamente si q.... p si q ...... p es necesaria y suficiente para q...

F: CONTRADICCIÓN

Ninguna arriba: CONTINGENCIA

V: TAUTOLOGIA

La negación de una Tautologia es una contradicción y la negación de una contradicción es una tautologia.