proposition examples logic