Propoziciono en logiko esas ofro qua povas esar verajo o falsajo (ne amba samatempe); enunco di judiko.