Validación de proposiciones cuantificadas, ejemplo 3 parte b

 

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur: Chavarría-Molina, Jeffry
Fformat: otros
Dyddiad Cyhoeddi:2019
Disgrifiad:En este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “existe” - “para todo”.
Gwlad:RepositorioTEC
Sefydliad:Instituto Tecnológico de Costa Rica
Repositorio:RepositorioTEC
OAI Identifier:oai:repositoriotec.tec.ac.cr:2238/11132
Mynediad Ar-lein:https://www.youtube.com/watch?v=aAqrNL-fhs0&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=39&t=0s
https://hdl.handle.net/2238/11132
Allweddair:Validación
Cuantificadores
Conjuntos
Matemáticas discretas
Validation
Quantifiers
Sets
Discrete mathematics