1. [Introducir aquí título de la entrada del blog]
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 n el número de variables proposicionales.
• Las formas proposicionales pueden ser conectadas con operadores
lógicos para formar nuevas formas proposicionales. Dadas
A y B, los
símbolos A, A B, A B, A
B, A B y A B representan nuevas
formas proposicionales.
FORMAS
PROPOSICIONALES
Se denominan formas proposicionales a las estructuras
constituidas por variables proposicionales y los operadore
lógicos que las relacionan.
Estas formas proposicionales se representan con las letras
mayúsculas del alfabeto español A, B, C, …

2. EJERCICIOS
A= (p∧q)→(r∨¬q) ∨ p
p q r ¬q p∧q r∨¬q (p∧q)→(r∨¬q) A
1 1 1 0 1 1 1 1
1 1 0 0 1 0 0 1
1 0 1 1 0 1 1 1
1 0 0 1 0 1 1 1
0 1 1 0 0 1 1 1
0 1 0 0 0 0 1 1
0 0 1 1 0 1 1 1
0 0 0 1 0 1 1 1
B= p ∧¬q ∧ q
p ¬q p ∧¬p B
1 0 0 1
0 1 0 1
C= *(p→q)∧p+→q  p

3. p q p→q (p→q)∧p *(p→q)∧p+→q C
1 1 1 1 1 1
1 0 0 0 1 1
0 1 1 0 1 0
0 0 1 0 1 0
d)
E)