Lógica Proposicional- Función Proposicional en dos variables PDF

Preview

Summary

FACET - Teoría dictada por la cátedra...

Description

Nos preguntamos: ¿existen funciones proposicionales en dos variables? La respuesta es si.

¿Qué cambios habría que hacer en la definición de función proposicional dada en la pag. 5 de la cartilla de la Guía de Trabajos Prácticos 2018? Para responder este interrogante definimos función proposicional en dos variables.

Definición: Función Proposicional en dos variables Se llama función proposicional en las indeterminadas x e y , a toda expresión que contiene las variables x e y, que posee la siguiente propiedad: existen por lo menos una asignación para x y otra para y, tal que la expresión obtenida al reemplazar dichas indeterminadas por sus respectivas asignaciones, es una proposición.

Ejemplos función proposicional en las variables x e y.

√

√

√

función proposicional en las variables a y b.

Así es una proposición verdadera.

√

√

√

es una proposición falsa.

Observación:

es una proposición.

¿Cuál es su valor de verdad? …………………….....