FbfLO

1)      ⱯxPy .->. p ^ Qx ^ Qa

• fbf

• no fbf

Answer explanation

Sí es fbf

2)      Tb <-> Tx <-> ꓱy(q->(Ux v Tq))

• fbf

• No fbf

3)      (Ɐx)ꓱx(Ab v q .->. Ax ^ Ɐy¬ꓱzMx)-> Ex

• fbf

• No fbf

Aa v Px .->. x -> ⱯzAz

• fbf

• No fbf

Bz v ꓱz¬Ɐz(ꓱyMy v p v Ɐx(Bx->Qx))

• Fbf

• No fbf

6)      Ɐy¬ꓱy [(Mx->Pa) ^ ꓱxQx]

• fbf abierta

• fbf cerrada

• no es fbf

7) ꓱy(r.->. Ma ^ ꓱxPx) <-> ⱯyⱯz[Qx v Pa .->. Ɐx -> (Mx v q)]

• fbf abierta

• fbf cerrada

• no es fb

Answer explanation

No ex fbf Ɐx

8)  p ^ Pa ^ ꓱxPx ^ Ɐxꓱx(Px->Pa) .->. q v ꓱxQx

• fbf abierta

• fbf cerrada

• no es fbf

Answer explanation

fbf cerrada

9)     Ɐx¬Ɐy¬Ɐz(Ax v By v Bz) .->. p -> (¬ꓱy¬ꓱz(Mx->Mz))

• fbf abierta

• fbf cerrada

• no es fbf

Answer explanation

fbf abierta Mx

10)      Px ^ Ry .->.  ꓱy(Ɐy)Pa ^ ¬ꓱz(Bs->Bx)

• fbf abierta

• fbf cerrada

• no es fbf

Answer explanation

No es fbf, s no es variable ni constante en LP