dc.creator | Chavarría-Molina, Jeffry | |
dc.date.accessioned | 2019-12-11T18:57:13Z | |
dc.date.accessioned | 2022-10-19T23:01:31Z | |
dc.date.available | 2019-12-11T18:57:13Z | |
dc.date.available | 2022-10-19T23:01:31Z | |
dc.date.created | 2019-12-11T18:57:13Z | |
dc.date.issued | 2018-02-03 | |
dc.identifier | https://hdl.handle.net/2238/11115 | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4514494 | |
dc.description.abstract | 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. | |
dc.description.abstract | This video presents an example of validation of a quantified proposition with two nested quantifiers of the form "exists" "for everything". There is an argument that verifies that this proposition is false. | |
dc.language | spa_CR | |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/4.0/ | |
dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International | |
dc.subject | Cuantificadores | |
dc.subject | Matemáticas discretas | |
dc.subject | Validación | |
dc.subject | Verificación | |
dc.subject | Quantifiers | |
dc.subject | Validation | |
dc.subject | Discrete mathematics | |
dc.subject | Verification | |
dc.title | Cuantificadores, ejemplo 3 | |
dc.type | info:eu-repo/semantics/other | |