Condicional material
O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica.
Imagem: Jose Javier Martin Espartosa · BY-NC-SA · Openverse
O condicional material conecta duas proposições através de uma constante lógica. Uma condição lógica, ou simplesmente condição, é quando um fator ocorre (necessariamente) se um outro fator ocorrer também. São fatores lógicos que determinarão uma ação. O condicional material pretende ser a versão formal do condicional na linguagem natural, o qual se expressa por meio de palavras como as seguintes: Simbolicamente, o condicional material deve ser notado das seguintes maneiras: Onde A e B são proposições quaisquer. As variáveis A e B se conhecem respectivamente como o antecedente e o consequente do condicional. Em lógica proposicional, o condicional material é uma função de verdade binária, que devolve falso quando A é verdadeira e B é falsa, e devolve verdadeiro em qualquer outro caso. Em lógica de predicados, pode ser visto como uma relação de subconjunto entre a extensão de predicados (possivelmente complexos).
Imagem: 'Fragments pictosophiques' · BY-NC-ND · Openverse
Em lógica binária, ocorrem apenas dois estados: A implicação lógica é uma operação que verifica a seguinte tabela de verdade
Hipótese e Tese
Na implicação a ⇒ b usam-se as designações: A demonstração da tese é fundamentada pela hipótese, por uma sequência de passos lógicos. (Por abuso de linguagem fala-se em hipóteses quando nos referimos a uma única hipótese formada pela conjunção de várias afirmações. Além disso, usam-se hipóteses no contexto que são usualmente omitidas - por exemplo, as regras lógicas) Se a hipótese for falsa, então qualquer tese pode ser demonstrada, porque por definição, a implicação é verdadeira sempre que se usa uma premissa falsa. Por isso a tese só tem relevância partindo de hipótese verdadeira. Uma hipótese falsa pode servir para demonstrações por absurdo, já que deduzindo corretamente uma tese falsa (contradição), essa implicação só pode ser verdadeira se a hipótese for falsa (a ⇒ 0 é verdade só quando a=0).
Condição suficiente e condição necessária
Sendo uma implicação a ⇒ b verdadeira, usam-se as seguintes designações: Quando se verificam ambas as implicações a ⇒ b e b ⇒ a, então a e b dizem-se condições necessárias e suficientes, dizendo-se ainda que a é equivalente a b (a ⇔ b, ou a se e só se b).
Imagem: Policía Nacional de los colombianos · BY-SA · Openverse
Através de uma tabela de verdade é fácil ver que a implicação lógica se pode reduzir à negação com disjunção: Esta equivalência é usada nas generalizações, já que permite definir a implicação através das noções de negação e disjunção. Por exemplo, afirmar que "ser homem implica ter cabeça", é equivalente a dizer que "não é homem" ou "tem cabeça".
Contra-recíproco (ou contraposição)
Outra equivalência importante é a da contraposição, ou contra-recíproco: que também pode ser verificada simplesmente com uma tabela de verdade Por exemplo, afirmar que "ser homem implica ter cabeça", é equivalente a dizer que "não ter cabeça implica não ser homem".
