En términos coloquiales, esto significa que "si "P", entonces "Q"", o, "si "Sócrates es hombre", entonces "Sócrates es humano"." En un condicional como ese, "P" es el antecedente, y "Q" es el consecuente.