Lógica, Lingüística y Matemáticas

3x Px a y b abeliano amnistía y libertad aplicación asociativa axioma cadena terminal Chomsky ción ciudadanos piden conclusión conectiva Conj conjunción conjunto infinito conjunto parcialmente ordenado conmutativa cuantificador dado decir definición definida Demostración denomina dependiente de contexto derivación diagrama diremos disyunción dominio de referencia ejemplo elemento inverso elemento neutro entonces enunciados atómicos estructura profunda existe expresiones F F F F V F falso finito fórmula frase función enunciativa gramática generativa gramática regular gramaticales grupo grupoide hemos homomorfismo implicación intersección intersección de conjuntos izquierda lenguaje generado lenguaje ordinario lenguaje regular léxica lingüística matemática números naturales p y q partición piden amnistía predicado premisas propiedad propiedades recursión reflexiva relación de equivalencia relación R representamos respecto semigrupo simbolizamos simétrica Simp subconjunto subgrupo tabla de verdad tautología Teorema teoría transitiva valores de verdad variables Veamos verbo verdadero vocabulario Vx Vy x e y