Necessidade e suficiência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m |
Acrescentada a seção Condições necessárias e suficientes nas frases condicionais |
||
Linha 10:
Consequentemente, as seguintes inferências são válidas:
x é F.
Linha 32 ⟶ 34:
Portanto, x não é B.
=== Condições necessária e suficientes nas frases condicionais ===
Na linguagem formal da [[lógica proposicional]], a expressão ''A → B'' (lida como ''Se A então B'') é definida como verdadeira se e somente se ''A & ~B'' (lido ''A e não-B'') é falso. Em outras palavras, ''A → B'' é verdadeira se e somente se ''A'' é falso ou ''B'' é verdadeiro. Esta é a chamada ''[[Implicação material (regra de inferência)|implicação material]].'' Isso é expresso na [[Tabela verdade|Tabela-Verdade]], apresentada a seguir (na qual S=suficiente, N=necessária, V=verdadeiro, F=falso). Verifica-se que, nessa expressão ''A → B'', ''A'' é condição suficiente para ''B'' e ''B'' é condição necessária para A.
== Tabela ==
| |||