Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE COMUNICACIÓN
SOCIAL
ASIGNATURA: MATEMATICAS
ESTUDIANTE:
ALAVA RIOS ERNESTO ALEXANDER
PARALELO:
DIG-S-MA-1-5 1ª1
DOCENTE:
MSC. Javier Landívar V, PhD
CICLO:
2021-2022 CI
¿Qué son las formas proposicionales?
Se denominan formas proposicionales a las estructuras constituidas por variables
proposicionales y los operadores lógicos que las relacionan. Estas formas proposicionales
se representan con las letras mayúsculas del alfabeto español. Las formas proposicionales
no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones.
Si cada variable proposicional es reemplazada por una proposición simple o compuesta,
la forma proposicional se convierte en una proposición. Si reemplazamos a las variables
proposicionales por proposiciones verdaderas o falsas, el número de proposiciones que
se generan es 2, siendo el número de variables proposicionales. Las formas
proposicionales pueden ser conectadas con operadores lógicos para formar nuevas
proposicionales (Cordero, 2014)
Formalización: p ^ q → r
Resolución
p q r (p^q) ((p^q)→r)
F F F F V
F F V F V
F V F F V
F V V F V
V F F F V
V F V F V
V V F V F
V V V V V