Cuantificadores, ejemplo 2

dc.creatorChavarría-Molina, Jeffry
dc.date.accessioned2019-11-22T16:16:11Z
dc.date.accessioned2022-10-19T22:59:10Z
dc.date.available2019-11-22T16:16:11Z
dc.date.available2022-10-19T22:59:10Z
dc.date.created2019-11-22T16:16:11Z
dc.date.issued2018-03-21
dc.identifierhttps://hdl.handle.net/2238/11101
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4514011
dc.description.abstractEn 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.
dc.description.abstractThis video presents an example of validation of a quantified proposition with two nested quantifiers of the form "for everything" "exists". There is an argument that verifies that this proposition is true.
dc.languagespa_CR
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rightsAttribution-NonCommercial-ShareAlike 4.0 International
dc.subjectCuantificadores
dc.subjectValidación
dc.subjectMatemáticas discretas
dc.subjectVerificación
dc.subjectQuantifiers
dc.subjectValidation
dc.subjectDiscrete mathematics
dc.subjectVerification
dc.titleCuantificadores, ejemplo 2
dc.typeinfo:eu-repo/semantics/other


Este ítem pertenece a la siguiente institución