Implikasi Logis dan Ekivalensi Logis
A. Implikasi logis
Implikasi logis adalah implikasi yang merupakan tautologi. Misalkan implikasi "Jika P maka Q", dan hasilnya merupakan tautologi, artinya pernyataan P selalu mengimplikasi pernyataan Q tanpa memperhatikan nilai dari pernyataan penyusunnya. Contoh:
B. Ekivalensi logis
Dua pernyataan P dan Q disebut ekivalen ketika nilai kebenarannya selalu sama, sehingga biimplikasinya merupakan tautologi. Contoh:
Komentar
Posting Komentar