A logical statement that presents a conclusion that is deduced from two related premises