Ensiklopedia

Percakapan - logik -

Bercakap , dalam logik, proposisi yang dihasilkan dari pertukaran subjek dan predikat antara satu sama lain. Oleh itu, sebaliknya "Tidak ada lelaki adalah pensil" adalah "Tiada pensil adalah lelaki." Dalam silogistik tradisional, secara amnya hanya cadangan E (negatif universal) dan I (afirmatif tertentu) yang menghasilkan pembalikan yang sah. Sebaliknya hubungan R adalah hubungan S sehingga x S y ( y mempunyai hubungan S dengan x ) jika, dan hanya jika, y R x ( x mempunyai hubungan R ke y ). Sekiranya hubungan sama dengan yang sebaliknya, ia adalah simetrik.

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