///
A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por A∨B, é lida como “A e B” e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A→B, é lida como “se A, então B”, e julgada como F somente quando A for V e B for F, e V nos demais casos.
A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo “todo”, “algum”, “nenhum” etc.
Considerando que as proposições A, B, B→C e [A∨B]→[C→D] sejam V, então a proposição D será, obrigatoriamente, V.