Predicados

Cuantificadores

Preguntas

Matemáticas Discretas, Lógica: Predicados y Cuantificadores
Prof. Víctor Bravo1
1 Universidad

de los Andes

A-2008

Predicados

CuantificadoresPreguntas

Licencia de Uso

Copyright (c), 2007. 2008, ULA.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the sectionentitled "GNU Free Documentation License". Una copia de la licencia puede obtenerse en los siguientes sitios en Internet: http://www.gnu.org/copyleft/fdl.html http://www.fsf.org/licensing/licenses/fdl.html Predicados

Cuantificadores

Preguntas

Agenda

1

Predicados Tautologías y Contradicciones Definiciones Cuantificadores Definiciones Implicaciones y Equivalencias Lógicas Preguntas

2

3 Predicados Tautologías y Contradicciones

Cuantificadores

Preguntas

Tautologías útiles

Tautologías útiles Ley del absurdo Ley de la importación Ley de la exportación Ley del silogismohipotético Ley de la adjunción Ley de la simplicación Modus tollendo pollens Modus tollendo tollens Ley de la separación (p → q ∧ ¬q) → ¬p (p → (q → r )) → (p ∧ q → r ) (p ∧ q → r ) → (p → (q → r )) (p→ q) ∧ (q → r ) → (p → r ) p∧q →p∧q p∧q →p ¬p ∧ (p ∨ q) → q ¬q ∧ (p → q) → ¬p p ∧ (p → q) → p

Predicados Tautologías y Contradicciones

Cuantificadores

Preguntas

Tipos de elementos en lalógica de Predicados

Constantes Objetos concretos, formando un universo de discurso, un conjunto U. Variables Objetos genéricos que normalmente denotamos con las letras x, y, z, . . . y que podránsustituirse por objetos de U.

Predicados Tautologías y Contradicciones

Cuantificadores

Preguntas

Predicados

¿Qué es un predicado? Los predicados son sentencias abiertas, en las que se... [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2011, 10). Matematicas Discretas. BuenasTareas.com. Recuperado 10, 2011, de http://www.buenastareas.com/ensayos/Matematicas-Discretas/2832961.html

MLA

"Matematicas Discretas" BuenasTareas.com. 10 2011. 2011. 10 2011 <http://www.buenastareas.com/ensayos/Matematicas-Discretas/2832961.html>.

MLA 7

"Matematicas Discretas." BuenasTareas.com. BuenasTareas.com, 10 2011. Web. 10 2011. <http://www.buenastareas.com/ensayos/Matematicas-Discretas/2832961.html>.

CHICAGO

"Matematicas Discretas." BuenasTareas.com. 10, 2011. consultado el 10, 2011. http://www.buenastareas.com/ensayos/Matematicas-Discretas/2832961.html.