prop-logic lecture