Elementary Logic: For Software Development