TAREA DE LOGICA

Tarea de Lógica
Alumno: Diego Alonso López López
LÓGICA PROPOSICIONAL
7. SINTAXIS: FÓRMULAS Y ESQUEMAS DE FÓRMULAS
Cuáles de las siguientes secuencias de símbolos son fórmulasbien formadas (fbfs). ¿Por qué?
7.1. p  ( q   q )
Es una fórmula bien formulada, porque cumple con la regla de formación.
7.2 ( p  q  r )   p
Es unafórmula bien formulada, porque cumple con la regla de formación.
7.3 p  ( r  ~ C )
No es una fórmula bien formulada, porque contiene una letra en mayúscula.
7.4 p (~ t  r)
Es una fórmula bien formulada, porque cumple con la regla de formación.
7.5 ( ~ s  p )  ( ~ q  r )  t
Es una fórmula bien formulada, porque cumple con laregla de formación.
7.6 ( p  q .. r  s )   r
No es una fórmula bien formulada, porque contiene un símbolo que no es un operador.
7.7 p r  q .. t   q
No es una fórmula bien formulada, porque contiene un símbolo que no es un operador.
7.8 q  r ..  ( r  t )
Es una fórmula bien formulada, porque cumple con laregla de formación.
7.9 p   q ..   p  s ..  ( q  s ) 
Es una fórmula bien formulada, porque cumple con la regla de formación.
7.10 ( p  ~ t )  (q  r )  ( p  q )
Es una fórmula bien formulada, porque cumple con la regla de formación.


Construya fbfs para cada esquema de fórmula con los datos que aparecen entreparéntesis:




7.12 A  B (p, q,, , )

A = p  q B = p  q

(p  q )  ( p  q )

7.13  A  ( B  C ) (p,q,r, , , )

A = p  q B = q C = q  r

 (p  q )  q  (q  r ) 

7.14  ( A  B )   B (p, q, r, , , , )

A = p  r B = ( p  r )  q
  (p  r )  ( p  r )  q      ( p  r )  q...