Necesito a un freelancer que sepa sobre
1) Lógica Proposicional, su sintaxis.
2) Método de Tableaux ([login to view URL]%C3%81rbol_sem%C3%A1ntico)
3) Deducción Natural ([login to view URL])
El freelancer debe hablar español
Soy profesor de Lógica Matemática en Colombia, y estoy familiarizado con estos métodos. Estaré complacido en ayudarles con este proyecto, si me puedan dar más información.