Módulo de Lógica matemática

1.9 Cuanti…cadores Lógica Matemáticap q q p ! q (p^ q) (p^ q) ^ (p ! q)1 1 0 1 0 01 0 1 0 1 00 1 0 1 0 00 0 1 1 0 0A casos como estos donde la tabla termina solo con ceros se le llamaCONTRADICCIÓN1.9. Cuanti…cadoresSi, en una condición dada p(x), atribuimos a la variable x los valoresde su dominio, obtendremos, como vimos, una proposición. Otra forma, extremadamenteimportante en Matemática, de obtener proposiciones a partirde una condición p(x), es anteponerle a esta los símbolos 8x; 9x y 9!x quese llaman cuanti…cadores (cuanti…cador universal , cuanti…cador existencialy cuanti…cador existencial de unicidad respectivamente).La proposición 8x : p(x) se lee “para todo x, tal que p(x)” y signi…caque p(x) es verdadera, atribuyendo a x cualquier valor de su dominio.La proposición 9x : p(x) se lee “existe un x, tal que p(x)”y signi…ca quep(x) es verdadera, para algún x de su dominio, ün"no signi…ca "único". porejemplo "María Teresa tiene una amiga que la quiere mucho"es posible quetenga más de una, es por esto que la proposición 9!x : p(x) se lee “existe unúnico x, tal que p(x)” y signi…ca que p(x) es verdadera si y solo si x tomaun único valor de su dominio.Favián Arenas. 26 Camargo Benítez.