Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 2

Abstract

Este vídeo corresponde a la segunda parte de un ejercicio de validación de proposiciones mediante la construcción y análisis de una tabla de asignación de predicados. En éste, dada la tabla construida en la parte 1 se procede a validar un conjunto de proposiciones cuantificadas.This video corresponds to the second part of a proposal validation exercise by constructing and analyzing a predicate assignment table. In this, given the table built in part 1, a set of quantified propositions is validated.