Terms for subject Logic containing высказывание

Russian	English
высказывание логики первого порядка	first-order sentence (ssn)
конъюнкция высказывания	conjunction of a sentence
последовательность высказываний	prosequence
утвердительное высказывание	positive statement (Pothead)