Kami menjelaskan apa itu tautologi dalam logika dan kami menunjukkan contoh. Juga, apa kontradiksi dan kontingensi.
Apa itu tautologi?
Dalam disiplin ilmu logika dan retorik, istilah tautologi digunakan untuk merujuk pada pernyataan yang terbukti dengan sendirinya, jelas atau berlebihan, yaitu, yang benar dari setiap interpretasi yang mungkin, karena mereka menjelaskan dan menegaskan diri mereka sendiri. Oleh karena itu, tautologi adalah argumen salah, tidak valid, kosong.
Istilah ini berasal dari suara Yunani tauto ("Sama") dan logo ("Kata" atau "tahu"), dan rumusan logisnya sering terdiri dari A = A, yaitu, sebagai sesuatu yang identik dengan dirinya sendiri, dan karena itu tidak benar-benar mengusulkan apa pun. Hal ini umumnya terjadi pada proposisi yang mencakup kesimpulan di tempat-tempatnya, seperti "itu adalah apa adanya" atau "Saya melihatnya dengan mata kepala sendiri." Dalam retorika, pleonasme adalah kasus tautologi.
Cara logis paling sederhana untuk menemukan tautologi adalah melalui perumusan tabel kebenaran: kasus-kasus yang benar tidak peduli apa nilai yang diungkapkan, tentu akan menjadi tautologis.
Contoh Tautologi
Pernyataan berikut merupakan contoh tautologi:
- Seorang pria adalah seorang pria.
- Aku berlari jauh dengan kakiku sendiri.
- Segala sesuatu yang lebih yang tersisa.
- Hal-hal jatuh.
- Aku menaiki tangga.
- Dingin disebabkan oleh penurunan suhu.
Dan dalam istilah logis, contoh tautologi adalah ekspresi: (p ^ q) → p, yang tabel kebenarannya adalah sebagai berikut:
| P | Apa | p ^ q | (p ^ q) → p |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Kontradiksi dan kontingensi
Selain tautologi, kontradiksi dan kontingensi sering dibicarakan dalam logika, sebagai berikut:
- Kontradiksi. Bertentangan dengan tautologi, yang benar dalam formulasi apa pun yang mungkin, kontradiksi adalah salah terlepas dari nilai premisnya, karena dalam struktur argumentatifnya, kesimpulan yang diperoleh ditolak. Contohnya adalah pernyataan "kita jatuh ke ketinggian", atau pernyataan logis p ^ p 'ketika p tidak pernah sama dengan p'.
- Kemungkinan. Dalam hal ini, kita berbicara tentang rumus yang nilai benar atau salahnya tidak akan bergantung pada nilai premisnya, sehingga tidak akan benar atau salah. Atau apa yang sama: kontingensi adalah pernyataan yang benar di setidaknya satu dunia yang mungkin dan salah di dunia lain, sehingga akan selalu tergantung pada kasusnya. Contoh yang dinyatakan dalam istilah logis adalah pernyataan berikut:
(p q) v [(p → q) ^ (q → p)].