Enciclopédia

Converse - lógica -

Converse , em lógica, a proposição resultante de um intercâmbio de sujeito e predicado um com o outro. Assim, o inverso de “Nenhum homem é um lápis” é “Nenhum lápis é um homem”. Na silogística tradicional, geralmente apenas as proposições E (negativa universal) e I (afirmativa particular) produzem um inverso válido. O inverso de uma relação R é a relação S tal que x S y ( y tem a relação S a x ) se, e somente se, y R x ( x tem a relação R a y ). Se uma relação é idêntica ao seu inverso, é simétrica.

$config[zx-auto] not found$config[zx-overlay] not found