usul

Kami menerangkan apa itu proposisi, maksudnya dalam falsafah, logik dan matematik. Juga, cadangan mudah dan majmuk.

Sesuatu cadangan boleh dinilai sebagai benar atau salah.

Apakah dalil?

Proposisi, secara umum, adalah sesuatu yang dicadangkan. Iaitu, ia adalah ungkapan yang setara dengan a ayat mudah tegas, a solat di mana ia menegaskan bahawa sesuatu itu ada, sesuatu itu wujud atau ia mempunyai ciri-ciri tertentu. Oleh itu, ia boleh dinilai sebagai benar (jika ia bersetuju dengan realiti) atau palsu (jika tidak).

Ia adalah istilah yang digunakan secara meluas dalam konteks pengetahuan yang berbeza, seperti disiplin formal tertentu (logik, matematik) gelombang linguistik dan juga falsafah. Ideanya ialah, mengambil proposisi yang berbeza sebagai anteseden, adalah mungkin untuk mendapatkan tertentu kesimpulan, dan lebih-lebih lagi, prosedur yang kami perolehi boleh dikaji dengan teliti.

Walau apa pun, proposisi mesti difahami sebagai rangkaian tanda yang tergolong dalam bahasa yang sama, sama ada bunyi atau aksara (dalam bahasa semula jadi) atau tanda dan perwakilan (dalam bahasa formal).

Manakala, dalam bahasa sehari-hari, cadangan difahami sebagai cadangan: jemputan yang kita buat kepada orang lain atau orang lain dan yang boleh diterima atau ditolak.

Akhir sekali, kita tidak boleh mengelirukan proposisi dengan preposisi. Yang terakhir ini hanyalah kategori tatabahasa, iaitu sejenis perkataan, yang mempunyai makna tatabahasa yang lebih atau kurang jelas, dan yang berfungsi untuk mewujudkan hubungan antara perkara. Contoh kata depan ialah: de, para, kontra, entre, por, sobre, bajo, en, dll.

Dalil dalam falsafah

Dalam bidang perdebatan falsafah, terdapat perbincangan tentang cadangan untuk merujuk kepada tindakan mental yang melaluinya penghakiman mengenai realiti dinyatakan dalam bahasa tertentu, membolehkan untuk mewujudkan hubungan sejenis antara sesuatu subjek dan a predikat ditentukan.

Dalam pengertian ini, proposisi tidak boleh dikelirukan dengan ayat yang diungkapkan, kerana penghakiman yang sama boleh dinyatakan melalui ayat yang berbeza, seperti dalam:

  • Ana seorang perempuan.
  • Ana bukan lelaki.

Cadangan dalam logik

Logik mengkaji hubungan antara proposisi dan mekanisme penaakulan yang membolehkan kita mencapai satu daripada yang lain. Dalam diri mereka, dalil berbeza daripada penghakiman, kerana yang pertama mencadangkan sesuatu tentang realiti dan yang kedua mengesahkan atau menafikan sesuatu daripadanya. Maksudnya, proposisi adalah produk logik penghakiman.

Logik formal mewakili proposisi melalui huruf abjad, untuk mengkaji hubungan logik antara mereka yang disarikan daripada kandungan semantiknya: "jika hlm kemudian apa”.

Daripada hubungan ini, maka dapat ditentukan dalam kes mana kandungan yang dinyatakan adalah benar, dan dalam kes mana ia adalah palsu, melalui apa yang dipanggil "jadual kebenaran", yang memberikan nilai benar (V) atau palsu (F) kepada hubungan yang terjalin, untuk mengkaji kemungkinan hasilnya.

Penyataan ringkas dan majmuk

Logik mengklasifikasikan proposisi kepada dua jenis: mudah dan kompaun, bergantung pada konformasinya.

  • Cadangan mudah. Mereka adalah mereka yang terdiri daripada subjek dan predikat yang berkaitan secara langsung, tanpa faktor penafian (tidak), kata hubung (dan), disjungsi (atau) atau implikasi (jika ... kemudian) muncul. Dalam istilah ayat, mereka sepadan dengan ayat mudah tanpa subordinat. Contohnya: "Anjing itu hitam."
  • Cadangan majmuk. Ia adalah jenis kompleks, yang menggabungkan unsur-unsur tambahan melalui faktor penafian, kata hubung, disjungsi atau implikasi, dan yang dalam istilah ayat terdiri daripada ayat dengan bawahan dan komponen lain. Contohnya: "Jika anjing itu hitam, anjing itu bukan biru atau merah."

Proposisi dalam matematik

Memandangkan matematik adalah bahasa formal yang sangat hampir dengan logik, pendekatannya terhadap proposisi tidak terlalu berbeza, kecuali ia menggunakan nombor, pembolehubah dan tanda matematik untuk menyatakan hubungan dan perkaitan antara istilah proposisi. atau satu dengan yang lain. . Oleh itu, proposisi matematik juga mengesahkan atau menafikan sesuatu, mewujudkan hubungan yang boleh dinilai sebagai benar atau salah.

Sebagai contoh, ungkapan 4 + 5 = 7 mengesahkan hubungan formal antara kuantiti ini, yang dalam kes ini boleh dianggap sebagai palsu, kerana resolusinya menunjukkan bahawa 4 + 5 = 9. Walau bagaimanapun, walaupun palsu, ia boleh dinyatakan , iaitu boleh dicadangkan.

Proposisi matematik boleh dibuat lebih kompleks dengan menggabungkan pembolehubah, seperti persamaan, menyatakan hubungan kemungkinan dan variasi. Sebagai contoh, dalam ungkapan x = 3y + z makna benar atau salah akan bergantung pada nilai yang kita tetapkan kepada pembolehubah, walaupun perkadaran dan maknanya akan tetap sama walau apa pun.

!-- GDPR -->