FUNCIONES PROPOCICIONALES

Una función proposicional es una expresión que contiene una o más de una variable que al ser
sustituidas por elementos del universo (U) dan origen a una proposición.

Considérense las siguientes proposiciones:

Gustavo es médico.

Álvaro es médico.

Enrique es médico.

Estas proposiciones tienen algo en común, y es la propiedad de "ser médico". Esto puede formularse
recurriendo a la expresión "x es médico" en donde x es una variable individual, la cual indica que el
sujeto o término que tiene la propiedad de ser médico es indeterminada. La expresión "x es médico" no
puede considerarse como una proposición puesto que no es en cuanto tal ni verdadera ni falsa. Aquí x es
una variable que toma valores dentro de un conjunto, llamado conjunto de referencia. Expresiones de
esta forma, dadas en términos de una o varias variables, reciben el nombre de funciones
proposicionales.

Cuando en una función proposicional se sustituyen las variables por constantes individuales o términos
específicos, se convierte en proposición. Comúnmente se usarán las letras x, y, z, w para denotar las
variables. La funciones proposicionales pueden negarse y también combinarse con otras funciones
proposicionales o proposiciones simples por medio de los conectivos.

Ejemplo:

"x es un número racional y z es un número irracional". Se puede simbolizar como:

Qx  Iz.

CUANTIFICADORES

Cuando utilizamos funciones proposicionales podemos incorporar dos nuevos símbolos denominados
cuantificadores. Hay dos formas de cuantificar una función proposicional:

Cuantificador Existencial:

Si p(x) es una función proposicional en U, entonces la expresión:

∃ X; p(x) Se lee “existe x tal que p(x)”

Y significa que hay al menos un elemento “a” que pertenece al universo, de modo que p(a) es verdadera.

Dentro de este cuantificador nos encontramos con el cuantificador !∃ que se lee existe un único y que es
verdadero si y solo si la proposición es solamente verdadera en una ocasión.

Cuantificador Universal

Se usa el símbolo , denominado cuantificador universal, antepuesto a una variable para decir que
"para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación. En texto se
puede representar con el carácter ∀.

Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual

aparecen todas las constantes.

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

Todo elemento x de A pertenece a B:

Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos y
de B pertenecen a A, siendo esto una garantía suficiente para que dos conjuntos cualesquiera puedan
ser diferentes:

Es decir, que no para todo elemento y de B tenemos que o implica que y también pertenezca a A.

Métodos de Demostración

Una de las preguntas que nacen cuando se estudia matemática es

¿Cómo se hace para demostrar?
A⇒B
Este proceso no es fácil aunque existen muchos escritos sobre el tema, llegar a demostrar debe ser unos
de los pasos más complejos en Matemática y en todas las ciencias porque independiente el método que
se utilice se necesita una agudeza y conocimiento sobre los contenidos que no llegan por arte de magia.
Definición: Un axioma es una verdad que se acepta por sí sola. En otras palabras, es una proposición
inicial la cual se asume como verdadera.
Demostración Directa
Consiste en obtener mediante una secuencia de proposiciones encadenadas por reglas de deducción,
directamente “q” como tesis y como consecuencia de “p” como hipótesis. En la lógica escolástica este
proceso se llama Modus Ponens
Demostración Indirecta

a. Por reducción al absurdo o contradicción: esta forma de demostrar consiste en utilizar la siguiente
equivalencia (P⇒Q) ⇔ [(P∧Q)] ⇒ F

b. Por contraposición: en este caso debemos ocupar la siguiente equivalencia

(P⇒Q) ⇔ (Q⇒P) Este proceso es conocido como Modus Tollens

NOMBRE: ROBINSON CHIFLA CODIGO: 380