ApCoCoA-1:Examples Tutorial De Logic