Ciri dan contoh proposisi salah
The cadangan yang salah mereka adalah entiti logik dengan nilai sebenar null (false). Secara umum, proposisi adalah linguistik (ayat) atau ungkapan matematik dari mana kebenaran atau kepalsuannya dapat terjamin. Cadangan adalah asas logik dan membentuk medan yang sangat khusus yang dikenali sebagai logik proposisi.
Dengan cara ini, ciri utama proposisi adalah kemungkinan diisytiharkan mengikut nilai kebenarannya (palsu atau benar). Sebagai contoh, ungkapan ¡Juan, pergi ke kedai! ia tidak mewakili proposisi kerana ia tidak mempunyai kemungkinan ini. Sementara itu, doa-doa seperti Juan pergi ke kedai untuk membeli atau Juan pergi ke kedai jika mereka memilikinya.
Sekarang, dalam bidang matematik, "10-4 = 6" dan "1 + 1 = 3" adalah proposisi. Kes pertama adalah cadangan yang benar. Bagi bahagiannya, yang kedua adalah sebahagian daripada cadangan yang salah.
Oleh itu, perkara penting bukanlah cadangan atau cara ia dibentangkan, tetapi nilai kebenarannya. Sekiranya ada, maka ada juga cadangan.
Indeks
- 1 Ciri-ciri
- 1.1 Sederhana atau sebatian
- 1.2 Deklaratif
- 1.3 Kekurangan kekurangan
- 1.4 Dengan nilai kebenaran tunggal
- 1.5 Ragu untuk diwakili secara simbolik
- 1.6 Penggunaan penyambung atau penyambung logik
- 2 Jadual kebenaran
- 3 Contoh cadangan salah
- 3.1 saranan mudah
- 3.2 cadangan komposit
- 4 Rujukan
Ciri-ciri
Mudah atau sebatian
Cadangan yang salah boleh menjadi mudah (mereka hanya menyatakan satu nilai kebenaran) atau kompaun (mereka menyatakan beberapa nilai kebenaran). Ini bergantung kepada sama ada atau tidak komponennya dipengaruhi oleh elemen chaining. Unsur relasi ini dikenali sebagai penyambung atau penyambung logik.
Satu contoh yang pertama ialah proposisi salah jenis: "Kuda putih hitam", "2 + 3 = 2555" atau "Semua tahanan tidak bersalah".
Jenis kedua sesuai dengan proposisi seperti "Kenderaan hitam atau merah", "Jika 2 + 3 = 6, maka 3 + 8 = 6". Dalam yang terakhir, hubungan antara sekurang-kurangnya dua proposisi mudah diperhatikan.
Seperti yang benar, orang yang salah dihubungkan dengan proposisi mudah lain yang boleh palsu dan yang lain benar. Hasil analisa semua proposisi ini membawa kepada nilai kebenaran yang akan mewakili gabungan semua proposisi yang terlibat.
Deklaratif
Cadangan yang salah adalah deklaratif. Ini bermakna bahawa mereka sentiasa mempunyai nilai kebenaran yang berkaitan (nilai palsu).
Jika anda mempunyai, sebagai contoh, "x adalah lebih besar daripada 2" atau "x = x" anda tidak boleh menetapkan nilai kepalsuan (atau kebenaran) sehingga anda mengetahui hakikat bahawa "x" mewakili. Oleh itu, kedua-dua ungkapan itu tidak boleh dianggap sebagai deklaratif.
Kurang kesamaran
Cadangan yang salah tidak mempunyai kekaburan. Mereka dibina sedemikian rupa sehingga mereka mempunyai satu tafsiran yang mungkin. Dengan cara ini, nilai kebenarannya adalah tetap dan unik.
Di sisi lain, kekurangan kekaburan ini mencerminkan kesatuannya. Oleh itu, ini boleh secara negatif negatif, terutamanya negatif dan wujud negatif:
- Semua planet berputar mengelilingi matahari (universal negatif).
- Sesetengah manusia menghasilkan klorofil (terutamanya negatif).
- Tiada burung darat (wujudnya negatif).
Dengan nilai kebenaran tunggal
Proposaan yang salah hanya mempunyai satu nilai kebenaran, yang salah. Mereka tidak mempunyai nilai sebenar serentak. Setiap kali cadangan yang sama dinaikkan, nilainya akan tetap palsu selagi keadaan di mana ia diformulasikan tidak berubah.
Ragu untuk diwakili secara simbolik
Cadangan yang salah adalah mudah diwakili dalam cara simbolik. Untuk tujuan ini, huruf pertama perbendaharaan kata diberikan dengan cara konvensional untuk menunjuk mereka. Oleh itu, dalam logik proposisi, huruf kecil a, b, c dan yang seterusnya melambangkan proposisi.
Sebaik sahaja cadangan telah diberikan surat simbolik, ia dikekalkan sepanjang analisis. Dengan cara yang sama, memberikan nilai kebenaran yang sama, kandungan cadangan itu tidak lagi menjadi masalah. Semua analisis seterusnya akan berdasarkan simbol dan nilai kebenaran.
Penggunaan penyambung atau penyambung logik
Melalui penggunaan chaining (penyambung atau sambungan logik), beberapa cadangan mudah yang salah boleh menyertai dan membentuk komposit. Penyambung ini adalah konjungsi (y), disjunction (o), implikasi (kemudian), kesetaraan (jika dan hanya jika) dan penafian (tidak).
Penyambung ini menghubungkannya dengan orang lain yang mungkin salah atau tidak. Nilai-nilai kebenaran semua proposisi ini digabungkan antara satu sama lain, mengikut prinsip-prinsip tetap, dan memberikan nilai kebenaran "total" untuk keseluruhan cadangan atau hujah kompaun, kerana ia juga dikenali.
Sebaliknya, penyambung memberikan nilai kebenaran "total" proposisi yang rantai itu. Sebagai contoh, satu kenyataan yang salah dirantai kepada salah satu daripada penyambung disjunction membuang nilai palsu untuk komposit. Tetapi jika ia dikaitkan dengan proposisi yang benar, nilai kebenaran cadangan majmuk akan benar.
Jadual kebenaran
Kesemua kemungkinan gabungan nilai-nilai kebenaran yang boleh diambil oleh proposisi yang salah dikenali sebagai jadual kebenaran. Jadual-jadual ini adalah alat logik untuk menganalisis beberapa kenyataan yang salah dihubungkan bersama.
Sekarang, nilai kebenaran yang diperolehi boleh benar (tautologi), palsu (percanggahan) atau kontingen (palsu atau benar, bergantung kepada keadaan). Jadual-jadual ini tidak mengambil kira kandungan setiap proposisi yang salah, hanya nilai kebenarannya. Oleh itu, mereka adalah universal.
Contoh cadangan yang salah
Cadangan mudah
Cadangan mudah mempunyai nilai kebenaran yang unik. Dalam kes ini, nilai kebenaran adalah palsu. Nilai ini ditugaskan bergantung kepada persepsi peribadi seseorang terhadap realiti. Contohnya, cadangan mudah berikut mempunyai nilai palsu:
- Rumput berwarna biru.
- 0 + 0 = 2
- Kajian menstabilkan orang.
Cadangan komposit
Cadangan gabungan kompaun terbentuk dari pautan mudah yang dihubungkan melalui penyambung:
- Rumput berwarna biru dan belajar membakar orang.
- 0 + 0 = 2 atau rumput berwarna biru.
- Jika 0 + 0 = 2, maka rumput berwarna biru.
- 0 + 0 = 2, dan rumput berwarna biru jika dan hanya jika belajar mengejar orang.
Rujukan
- Universiti Texas di Austin. (s / f). Logik Proposisi. Diambil dari cs.utexas.edu.
- Universiti Simon Fraser. (s / f). Logik Proposisi. Diambil dari cs.sfu.ca.
- Universiti Dominion Lama. (s / f). Proposisi Diambil dari cs.odu.edu.
- Ensiklopedia Falsafah Internet. (s / f). Logik Proposisi. Diambil dari iep.utm.edu.
- Encyclopædia Britannica. (2011, April). Jadual kebenaran. Diambil dari britannica.com.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. dan Cancino, D. (2008). Pemikiran logik dan formal. Bogotá: Editorial Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Bagaimana Melakukan Perkara dengan Logik. New Jersey: Lawrence Erlbaum Associates, Inc.