Formalizacja rachunku zdań