Exportación Completada — 

Cuantificadores, ejemplo 2

 

Gardado en:
Detalles Bibliográficos
Autor: Chavarría-Molina, Jeffry
Formato: otros
Data de Publicación:2018
Descripción:En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera.
País:RepositorioTEC
Institución:Instituto Tecnológico de Costa Rica
Repositorio:RepositorioTEC
OAI Identifier:oai:repositoriotec.tec.ac.cr:2238/11101
Acceso en liña:https://www.youtube.com/watch?v=imf0VnOb-VA&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=55&t=0s
https://hdl.handle.net/2238/11101
Palabra crave:Cuantificadores
Validación
Matemáticas discretas
Verificación
Quantifiers
Validation
Discrete mathematics
Verification