Cuantificadores, ejemplo 3
Αποθηκεύτηκε σε:
| Συγγραφέας: | |
|---|---|
| Μορφή: | otros |
| Ημερομηνία έκδοσης: | 2018 |
| Περιγραφή: | En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “existe” “para todo” . En él se da una argumentación que verifica que dicha proposición es falsa. |
| Χώρα: | RepositorioTEC |
| Ίδρυμα: | Instituto Tecnológico de Costa Rica |
| Repositorio: | RepositorioTEC |
| OAI Identifier: | oai:repositoriotec.tec.ac.cr:2238/11115 |
| Διαθέσιμο Online: | https://www.youtube.com/watch?v=ODeZJKjV0BQ&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=55 https://hdl.handle.net/2238/11115 |
| Λέξη-Κλειδί : | Cuantificadores Matemáticas discretas Validación Verificación Quantifiers Validation Discrete mathematics Verification |