quantificational logic translations

welcome to shbcf.ru