///
Uma afirmação formada por um número finito de proposições A1, A2, ..., An, que tem como consequência outra proposição, B, é denominada argumento. As proposições A1, A2, ..., An são as premissas, e B é a conclusão.
Se, em um argumento, a conclusão for verdadeira sempre que todas as premissas forem verdadeiras, então o argumento é denominado argumento válido.
O argumento formado pelas premissas A1, A2, A3 = A1→A2, A4 = A2→A1 e pela conclusão B = A3∧A4 é válido.