Ejemplos de

preposiciones

Jesús Magdiel Zapata López.

Grethel Camila Aguilera Guerra.
Emmanuel Hernán Olán Totosaus.
Nayeli Pablo López.
Si tu hermana no pasa el examen, estarás en graves problemas.

Como primer paso, identificamos las proposiciones atómicas y les asignamos una variable:

P: Tu hermana pasa el examen

Q: Estarás en graves problemas

De esta manera, podemos formalizar como (~P)⇒Q y construir su tabla de la siguiente

manera:

¿Qué es lo que nos dice el primer renglón de la tabla? Nos dice que si
P y Q son ambos verdaderos, (~P)⇒Q también lo es. En otras
palabras, basta que “Tu hermana pasa el examen” y “Estarás en
P Q (~P)⇒Q graves problemas” sean verdaderos para que “Si tu hermana no pasa
V V V el examen, estarás en graves problemas” sea verdadero. Es decir, la
(condición) suficiente para que sea verdadero implica que tu hermana
V F V
pase el examen y tú estés en problemas en el futuro. Lo mismo sucede
F V V con cada uno de los tres primeros renglones de la tabla (los que hacen
F F F verdaderos a (~P)⇒Q). Basta que P sea verdadero y Q falso o que P
sea falso y Q verdadero para que (~P)⇒Q sea verdadero.
Si tu hermano no hace el examen, no lo pasará.

Identificamos las proposiciones atómicas y les asignamos una variable:

P: Tu hermano hace el examen.

Q: Tu hermano pasará el examen.

De esta manera, podemos formalizar como (~P)⇒(~Q) y construir su tabla de la

siguiente manera:
¡el enunciado expresaba una tautología! Desde esta perspectiva, por lo
tanto, las fórmulas no son tautológicas, contradictorias o contingentes
P Q (~P)⇒(~Q) en sí mismas, sino en una tabla, y qué tabla sea la adecuada para
evaluar una formula no va a depender de la fórmula misma, sino de su
V V V
interpretación, es decir, de qué proposiciones simboliza cada variable
V F V proposicional. Por ello, mucha gente dice que este tipo de tablas no
F F V respetan el principio según el cual las propiedades lógicas de una
proposición, en particular si una proposición es tautológica o no, debe
depender sólo de su forma, no de su interpretación particular.
Si entregas tus tareas, aprobaras.

Identificamos las proposiciones atómicas y les asignamos una variable:

P: Si entregas tus tareas

Q: Aprobaras.

De esta manera, podemos formalizar como (~P)⇒(~Q) y construir su tabla de la

siguiente manera:

Lo que nos expresa la tabla de verdad en el primer renglón

es que si entregas tus tareas, aprobaras y esto es verdadero
P Q (~P)⇒Q
según los ensuciados, en el segundo renglón nos dice que si
V V V entregas tus tareas, no aprobaras y esto es falso, el tercer
V F F renglón dice que si no entregas tus tareas, aprobaras, lo que
es falso y por ultimo en ultimo renglón nos dice que si no
F V F
entregas tus tareas, no aprobaras, lo que es verdadero.
F F V
Si el agua se calienta, se evapora.

Identificamos las proposiciones atómicas y les asignamos una variable:

P: Si el agua se calienta.
Q: Se evapora.

De esta manera, podemos formalizar como (~P)⇒(~Q) y construir su tabla de la

siguiente manera:

P Q (~P)⇒(~Q) En este cuarto ejemplo nos dice en el primer renglón que

V V V si el agua se calienta, se evapora, lo cual es verdadero,
en el segundo renglón dice que si el agua se calienta, no
V F F
se evapora, pero esto es falso, en el tercer renglón dice
F V F que si el agua no se calienta, no se evapora, lo cual es
F F V falso y por ultimo el renglón cuatro dice que si el agua
no se calienta, no se evapora, lo que es verdadero.