Lógica proposicional

Active — user can report