Mapa conceptual logica matematica

Solo disponible en BuenasTareas
  • Páginas : 2 (446 palabras )
  • Descarga(s) : 0
  • Publicado : 26 de enero de 2012
Leer documento completo
Vista previa del texto
U – Conjunto universal.
∃ - cuantificador existencial (hay, algunos, algún, existe o cualquier otra del mismo tipo.
p (x) – Frase abierta en U
U – Conjunto universal.
∀ - cuantificador universal(para cada, para todo, todo, cualquiera o cualquier otra del mismo tipo).
p (x) – Frase abierta en U
2 proposiciones que tienen el mismo contenido:
(p → q) ˄ (q → p)
TABLA DE VERDAD
p | q | p vq |
V | V | V |
V | F | V |
F | V | V |
F | F | F |

Es verdadera, cuando y sólo cuando, alguna de las proposiciones que la forman es verdadera
Es falso (Proposición)
¬p
NEGACIÓNIMPLICACIÓN O CONDICIONAL
TABLA DE VERDAD
p | q | p ʌ q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |

Es verdadera, cuando y sólo cuando las 2 proposiciones que la forman son verdaderas(Proposición) o (Proposición)
p v q

DISYUNCIÓN
(Proposición) y (Proposición)
p ˄ q
CONJUNCIÓN
PROPOSICIÓN LÓGICA.
Frase con propiedad de ser falsa o verdadera.
(p, q, s t, etc.)

LÓGICAEXISTENCIAL

UNIVERSAL
EQUIVALENTES

CUANTIFICADORES.
(Consiste en afirmaciones acerca de un conglomerado de objetos)

P1 ʌ P2 ʌ… ʌ Pn → r
P1, P2… Pn = PREMISAS
R= CONCLUCIÓNRAZONAMIENTO.
(Es una implicación en donde el antecedente es una conjunción de un número finito de proposiciones)

Cuando en una proposición t; queremos demostrar que es verdadera. Consistirá enconstruir un razonamiento válido donde t sea la conclusión y todas sus premisas verdaderas, y así podremos concluir que t será verdadera.

BICONDICIONALES

DEMOSTRACIONES DIERCTAS
METODOS DEDEMOSTRACIÓN.

TABLA DE VERDAD
p | q | p ↔ q |
V | V | V |
V | F | F |
F | V | F |
F | F | V |

Es verdadera, si las dos proposiciones son verdaderas o las dos son falsas
TABLA DE VERDAD
p| q | p → q |
V | V | V |
V | F | F |
F | V | V |
F | F | V |

Es verdad:
-Consecuente es verdadera.
-Antecedente es falso
ANTECEDENTE:
Proposición colocada entre “si” y “entonces”....
tracking img