Ekuivalen dari dua proposisi. Dua proposisi adalah ekuivalen bila dihubungkan dengan relasi "jika dan hanya jika".
Ekuivalensi antar proposisi p dan q biasanya ditulis dengan p ↔ q atau p ≡ q
Contoh:
∼(p ∧ q) ≡ ∼p ∨ ∼q
Relasi ekivalen pada suatu himpunan adalah suatu relasi yang memenuhi sifat refleksif, simetri dan transitif.
Contoh:
Relasi "=" atau "sama dengan" pada himpunan bilangan bulat adalah relasi ekuivalen sebab ∀ a, b, c bilangan bulat berlaku:
Contoh:
∼(p ∧ q) ≡ ∼p ∨ ∼q
Relasi ekivalen pada suatu himpunan adalah suatu relasi yang memenuhi sifat refleksif, simetri dan transitif.
Contoh:
Relasi "=" atau "sama dengan" pada himpunan bilangan bulat adalah relasi ekuivalen sebab ∀ a, b, c bilangan bulat berlaku:
- refleksif : a = a
- simetri : jika a = b maka b = a
- transitif : jika a = b dan b = c maka a = c
No comments:
Post a Comment