In symbolic logic, a connective (negation, conjunction, disjunction, conditional, andbiconditional) is used to make new statements out of simpler ones. https://youtube.com/shorts/HSdrQUSwJT8?feature=share
In formal logic, the number of arguments (see Argument) a predicate takes. https://youtube.com/shorts/yFjoEFUMImY?feature=share
In a standard-form categorical syllogism, the premise that contains the major term. It is the premise that appears first. (See also Categorical syllogism and Standard form.) https://youtube.com/shorts/NungjsSU_sI?feature=share