teste 1

teste 1

de Miguel Da Silva -
Número de respuestas: 4
En respuesta a Miguel Da Silva

Re: teste 1

de Miguel Da Silva -
En respuesta a Miguel Da Silva

Re: teste 1

de Miguel Da Silva -
En respuesta a Miguel Da Silva

Re: teste 1

de Miguel Da Silva -

 \infer[RAA_1]{\neg \alpha \lor \alpha}{
  \infer[E\neg]{\bot}{
  \infer[I\neg_2]{\neg\alpha}{
  \infer[E\neg]{\bot}{
  [\neg(\neg \alpha \lor \alpha)]_1 &
  \infer[I\lor]{\neg \alpha \lor
  \alpha}{[\alpha]_2}}
  } &
  \infer[RAA_3]{\alpha}{
  \infer[E\neg]{\bot}{
  [\neg(\neg \alpha \lor \alpha)]_1 &
  \infer[I\lor]{\neg \alpha \lor
  \alpha}{[\neg\alpha]_3}
  }
  }
  }
  }