Professional Documents
Culture Documents
Derivación de Fórmulas Bien Formadas en Lógica Proposiciona1
Derivación de Fórmulas Bien Formadas en Lógica Proposiciona1
Reglas de la Gramática:
R1: <FBF> = p / q / r / s / t
Derivaciones Formales:
<FBF> =+ ECpqArNs
xR6: E<FBF><FBF>
xR5: EC<FBF><FBF><FBF>
xR1: ECp<FBF><FBF>
xR1: ECpq<FBF>
xR3: ECpqA<FBF><FBF>
xR1: ECpqAr<FBF>
xR2: ECpqArN<FBF>
xR1: ECpqArNs
<FBF> =+ ACpqCrNr
xR3: A<FBF><FBF>
xR5: AC<FBF><FBF><FBF>
xR1: ACp<FBF><FBF>
xR1: ACpq<FBF>
xR5: ACpqC<FBF><FBF>
xR1: ACpqCr<FBF>
xR2: ACpqCrN<FBF>
xR1: ACpqCrNr
<FBF> =+ ACpqCrKNpq
xR3: A<FBF><FBF>
xR5: AC<FBF><FBF><FBF>
xR1: ACp<FBF><FBF>
xR1: ACpq<FBF>
xR5: ACpqC<FBF><FBF>
xR1: ACpqCr<FBF>
xR4: ACpqCrK<FBF><FBF>
xR2: ACpqCrKN<FBF><FBF>
xR1: ACpqCrKNp<FBF>
xR1: ACpqCrKNpq
<FBF> =+ CENpKrApNqKpNr
xR5: C<FBF><FBF>
xR6: CE<FBF><FBF><FBF>
xR2: CEN<FBF><FBF><FBF>
xR1: CENp<FBF><FBF>
xR4: CENpK<FBF><FBF><FBF>
xR1: CENpKr<FBF><FBF>
xR3: CENpKrA<FBF><FBF><FBF>
xR1: CENpKrAp<FBF><FBF>
xR2: CENpKrApN<FBF><FBF>
xR1: CENpKrApNq<FBF>
xR4: CENpKrApNqK<FBF><FBF>
xR1: CENpKrApNqKp<FBF>
xR2: CENpKrApNqKpN<FBF>
xR1: CENpKrApNqKpNr
<FBF> =+ CCNpqCrKpANrq
xR5: C<FBF><FBF>
xR5: CC<FBF><FBF><FBF>
xR2: CCN<FBF><FBF><FBF>
xR1: CCNp<FBF><FBF>
xR1: CCNpq<FBF>
xR5: CCNpqC<FBF><FBF>
xR1: CCNpqCr<FBF>
xR4: CCNpqCrK<FBF><FBF>
xR1: CCNpqCrKp<FBF>
xR3: CCNpqCrKpA<FBF><FBF>
xR2: CCNpqCrKpAN<FBF><FBF>
xR1: CCNpqCrKpANr<FBF>
xR1: CCNpqCrKpANrq
<FBF> =+ ACpqCrKNpq
xR0: <FBF> /* R0 es de forma. */
xR3: A<FBF><FBF>
xR5: AC<FBF><FBF><FBF>
xR1: ACp<FBF><FBF>
xR1: ACpq<FBF>
xR5: ACpqC<FBF><FBF>
xR1: ACpqCr<FBF>
xR4: ACpqCrK<FBF><FBF>
xR2: ACpqCrKN<FBF><FBF>
xR1: ACpqCrKNp<FBF>
xR1: ACpqCrKNpq
<FBF> =+ EEprCqANrs
xR6: E<FBF><FBF>
xR6: EE<FBF><FBF><FBF>
xR1: EEp<FBF><FBF>
xR1: EEpr<FBF>
xR5: EEprC<FBF><FBF>
xR1: EEprCq<FBF>
xR3: EEprCqA<FBF><FBF>
xR2: EEprCqAN<FBF><FBF>
xR1: EEprCqANr<FBF>
xR1: EEprCqANrs
<FBF> =+ CCNqpErKANprq
xR5: C<FBF><FBF>
xR5: CC<FBF><FBF><FBF>
xR2: CCN<FBF><FBF><FBF>
xR1: CCNq<FBF><FBF>
xR1: CCNqp<FBF>
xR6: CCNqpE<FBF><FBF>
xR1: CCNqpEr<FBF>
xR4: CCNqpErK<FBF><FBF>
xR3: CCNqpErKA<FBF><FBF><FBF>
xR2: CCNqpErKAN<FBF><FBF><FBF>
xR1: CCNqpErKANp<FBF><FBF>
xR1: CCNqpErKANpr<FBF>
xR1: CCNqpErKANprq
<FBF> =+ ECKpNqXANrNsApNKrNsKpNt
xR6: E<FBF><FBF>
xR5: EC<FBF><FBF><FBF>
xR4: ECK<FBF><FBF><FBF><FBF>
xR2: ECK<FBF>N<FBF><FBF><FBF>
xR1: ECKpN<FBF><FBF><FBF>
xR1: ECKpNq<FBF><FBF>
xR7: ECKpNqX<FBF><FBF><FBF>
xR3: ECKpNqXA<FBF><FBF><FBF><FBF>
xR2: ECKpNqXAN<FBF><FBF><FBF><FBF>
xR2: ECKpNqXAN<FBF>N<FBF><FBF><FBF>
xR1: ECKpNqXANrN<FBF><FBF><FBF>
xR1: ECKpNqXANrNs<FBF><FBF>
xR3: ECKpNqXANrNsA<FBF><FBF><FBF>
xR1: ECKpNqXANrNsAp<FBF><FBF>
xR2: ECKpNqXANrNsApN<FBF><FBF>
xR4: ECKpNqXANrNsApNK<FBF><FBF><FBF>
xR1: ECKpNqXANrNsApNKr<FBF><FBF>
xR2: ECKpNqXANrNsApNKrN<FBF><FBF>
xR4: ECKpNqXANrNsApNKrNK<FBF><FBF><FBF>
xR1: ECKpNqXANrNsApNKrNKr<FBF><FBF>
xR2: ECKpNqXANrNsApNKrNKrN<FBF><FBF>
xR1: ECKpNqXANrNsApNKrNKrNs<FBF>
xR4: ECKpNqXANrNsApNKrNKrNsK<FBF><FBF>
xR1: ECKpNqXANrNsApNKrNKrNsKp<FBF>
xR2: ECKpNqXANrNsApNKrNKrNsKpN<FBF>
xR1: ECKpNqXANrNsApNKrNKrNsKpNt