Validación de proposiciones cuantificadas, ejemplo 3 parte b

 

Gorde:
Xehetasun bibliografikoak
Egilea: Chavarría-Molina, Jeffry
Formatua: otros
Argitaratze data:2019
Deskribapena: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”.
Herria:RepositorioTEC
Erakundea:Instituto Tecnológico de Costa Rica
Repositorio:RepositorioTEC
OAI Identifier:oai:repositoriotec.tec.ac.cr:2238/11132
Sarrera elektronikoa:https://www.youtube.com/watch?v=aAqrNL-fhs0&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=39&t=0s
https://hdl.handle.net/2238/11132
Gako-hitza:Validación
Cuantificadores
Conjuntos
Matemáticas discretas
Validation
Quantifiers
Sets
Discrete mathematics