A universal statement is a statement which says that a concept is true for a set of elements.

Meaning, it is true if, and only if, it is true for every predicate variable within a given domain.
For example, all dogs are loyal. This is telling us that everything in the category of dogs is also
in the category of being loyal. Therefore, we are telling that loyalty is a universal quality of
dogs.
A conditional statement is an if-then statement where it has a hypothesis and a conclusion.
The conditional statement is defined to be true unless a true hypothesis leads to a false
conclusion. For example, by using if-then statement, we can put it in such a way as “If some
dogs bitten by animals with rabies then some dogs have rabies.” It tells us that at least one
item in the dog category is also in the category of things with rabies. It’s only true if that dog is
bitten by animal with a rabies.
An existential statement is one which expresses the existence of at least one object (in a
particular universe of discourse) which has a particular property. Simply put, these type of
statement usually state that something exists. They usually describe ideas that are true for
certain elements. They may contain phrases such as “there exists” or “there is at least one”.
An example in math is that there is at least one number n, belonging to a set of natural
numbers such that a x n = a, meaning there exists a value within the range of natural numbers
(positive integers like 1,2, 3 etc. and 0) that would make a x n = a.