Uma implicação (ou enunciado condicional) com hipótese P[x] e conclusão Q[x] é uma sentença matemática que tem uma das seguintes formas: 1) "Se P[x], então Q[x]" 2) "P[x] implica em Q[x]" 3) "P[x] é suficiente para Q[x]" 4) "Q[x] é necessário para P[x]" Essas formas indicam que a verdade da hipótese P[x] implica na verdade da conclusão Q[x].
Para escrever sua resposta aqui, entre ou crie uma conta
Estudos Disciplinares XII e Ti II
•UNINTER
Compartilhar