Logic: A Very Short Introduction