Киньте, пожалуйста, ссылочки, где можно посмотреть, как записываются различные высказывания на языке логических суждений. Интересуют все их виды: конъюктивные, в сослагательном наклонении, с отрицаниями и т.д.