Brincando de Pega-Varetas com a lógica proposicional clássica