Formas Proposicionales

2.- Formas Proposicionales: 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
A, B, C...

Observaciones
* Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones. Si cada variable proposicional es reemplazada po una proposición simple o compuesta, la forma proposicional se convierte en una proposición.

OPERADOR LÓGICO	LÓGICA SIMBÓLICA	TERMINOLOGÍA LÓGICA
Negación		no
Conjunción		y
Disyunción		o
Disyunción exclusiva	v	o en sentido excluyente
Conjunción negativa		ni….ni
Disyunción negativa	/	no…no
Condicional		Si…., entonces
Bicondicional		Si y sólo si

Ejercicios:

(p Ù q) Þ (p Û q)

p	q	(  p      Ù      q  )     Þ     (   p      Û       q  )
0 0 1 1	0 1 0 1	0 0 1 1	0 1 1 1	0 1 0 1	1 0 0 1	0 0 1 1	1 0 0 1	0 1 0 1

( Ø p Ù q)  Û (p Þ Ø  r)

p	q	r	( Ø p	Ù	q  )	Û	( p	Þ	Ø r )
0 0 0 0 1 1 1 1	0 0 1 1 0 0 1 1	0 1 0 1 0 1 0 1	1 1 1 1 0 0 0 0	0   0   1   1 0 0 0 0	0 0 1 1 0 0 1 1	0 0 1 1 0 1 0 1	0 0 0 0 1 1 1 1	1 1 1 1 1 0 1 0	1 0 1 0 1 0 1 0

[( Ø p Ù q)  Þ  Ø r ] Þ [ r Ù Ø ( p Ú Ø q )]

p	q	r	[(Ø p      Ù         q )    Þ   Ø r ]    Þ     [ r      Ù   Ø (   p     Ú    Ø q )]
0 0 0 0 1 1 1 1	0 0 1 1 0 0 1 1	0 1 0 1 0 1 0 1	1 1 1 1 0 0 0 0	0 0 1 1 0 0 0 0	0 0 1 1 0 0 1 1	1 1 1 0 1 1 1 0	1 0 1 0 1 0 1 0	0 1 0 1 0 1 0 1	0 1 0 1 0 1 0 1	0 0 1 0 0 0 0 0	0 0 1 1 0 0 0 0	0 0 0 0 1 1 1 1	1 1 0 0 1 1 1 1	1 1 0 0 1 1 0 0

        

  ( p  Ú  q )   Þ  ( p Þ Ø q )          

p	q	( p  Ú  q )       Þ      ( p Þ Ø q )
0 0 1 1	0 1 0 1	0     0    0          1          1           0     1   1            1          1         1    1   0             1          1         1    1    1            0         0

p Ù q   Þ   p Ú q

p	q	p   Ù   q	Þ	p    Ú   q
0 0 1 1	0 1 0 1	0 0 0 1	1 1 1 1	0 1 1 1