Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...

We introduce, in this paper, a propositional logic to deal with de notion of ‘almost always’. We do this by adding a new operator in classical propositional logic. This new operator captures the same notions of the quantifier ...

En 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.

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.

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”.

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 “para todo” - “existe”.

En este vídeo se presenta un ejemplo de cuantificadores para proposiciones en prosa. En esta primera parte del ejercicio se presenta el análisis de la argumentación dadas y la posterior confección de la tabla de asignación ...