At least one mammal can fly. Some bananas are not yellow. Some students do not study. Al prime numbers are odd. No mammals can fly.
All bananas are yellow.
An argument is a collection of statements, listed in order. The last statement is called the conclusion and the other statements are called the premises. An argument is valid if the conjunction of all the premises implies the conclusion. The most common type of argument takes the following form. This form of argument is called the Law of Detachment or Modus Ponens .