evaluacion de expresiones logica de predicados Bertha usa tacones altos x usa tacones y p(x,y): x usa tacones y x: Dominio de los

nombres de mujeres y: Dominio de [altos, bajos] cuantificadores * universal afirmativo --> * universal negativo --> * particular afirmativo--> * particular negativo -->

Todos(as), todo nadie, ninguno, ningun, nada algun, algunos, alguien algun, algunos, alguien (+ no)