callsamu

# Tradutor simples de sentenças em linguagem natural para lógica proposicional
#
# Suporta apenas orações simples que devem ser repetidas com exatidão:
#
# Ex: Se hoje vai chover, hoje não vai chover
#     Se hoje vai chover, hoje vai chover
#     Se Pedro encontrar um emprego, ele vai trabalhar
#     (Ele) vai trabalhar se e somente se tem um emprego
#     Se pedro tem dinheiro, ele tem um emprego ou ele recebeu dinheiro dos pais