revisão de tablôs analíticos - dainfadolfo/disciplinas/logicaparacomputacao/... · de fórmulas...
TRANSCRIPT
Revisão de Tablôs Analíticos
● Regras Alpha:
α
α1
α2
T A ^ B F A v B F A→ B T ¬ A F ¬ A
T AT B
F AF B
T AF B
F A T A
Revisão de Tablôs Analíticos
● Regras Beta:
β
/ \
β1
β2
F A ^ B T A v B T A→ B
/ \ F A F B
/ \ T A T B
/ \ F A T B
Revisão de Tablôs Analíticos
● Regra de Fechamento:
T AF A
x
