A logical argument (or just argument) is a process of creating a new statement from one or more existing statements. An argument proceeds from a set of premises to a conclusion, by means of logical implication, via a procedure called logical inference. Structure of logical argument is based on formal validity.