Sebuah Eksplorasi Logika Deduktif

Logika

Geometri.

Meskipun beberapa orang menyukai subjek tersebut, banyak yang tidak.

Mengapa?

Proofs.

Sebuah bukti dapat dilakukan dengan beberapa cara yang benar, tetapi dengan cara yang salah yang tidak terhitung banyaknya. Dan kecuali seseorang memiliki kemampuan untuk menemukan salah satu cara yang benar, jumlah waktu yang tak terhitung dapat dihabiskan dengan mengarungi semua cara yang salah.

Itu menyoroti dikotomi kunci logika Togel singapura deduktif. Pada satu kepala, logika deduktif – dan bukti geometrik melibatkan sejumlah besar logika deduktif – membutuhkan langkah yang tepat dan tepat. Kebutuhan untuk langkah-langkah yang tepat ini menciptakan kesulitan yang biasa dihadapi geometri, yaitu menemukan dan membangun rangkaian langkah-langkah valid yang rumit.

Namun, di sisi lain, setelah urutan itu dibangun, hadiahnya menjadi kebenaran. Bukti deduktif yang dibangun dengan baik adalah benar, dijamin.

Namun, ada satu proviso yang penting. Kesimpulan dari bukti deduktif yang tepat adalah benar hanya jika aksioma awal, definisi dan / atau postulat adalah benar.

Dengan demikian, logika deduktif memerlukan dimulai dengan aksioma, definisi dan / atau postulat yang kita asumsikan, pegang atau penilaian sebagai benar, dan menggunakannya dalam bukti yang tepat untuk mengembangkan kebenaran baru.

Tepat, dan Tidak Layak, Urutan Deduktif

Lalu apa yang menggambarkan logika deduktif yang tepat? Pertimbangkan hal berikut, cukup sederhana:

· Earl memainkan bola basket

· Basket adalah olahraga

· Earl memainkan olahraga

Dua pernyataan pertama memberikan postulat awal kami, dan pernyataan ketiga adalah kesimpulan kami, kebenaran baru kami sehingga dapat berbicara. Mari kita pertimbangkan contoh lain, yang lebih ilmiah.

· Earl memiliki massa

· Massa menekuk ruang-waktu

· Earl menekuk ruang-waktu

Sementara urutan pertama mungkin menyerang kita sebagai hal yang biasa, yang kedua mungkin meninggalkan beberapa dari kita untuk bertanya-tanya tentang signifikansi dampak Earl terhadap ruang-waktu. Sekarang dampaknya, dengan pemahaman saat ini, tidak signifikan sama sekali. Tetapi sesuatu yang sangat signifikan, yaitu Teori Relativitas Umum Einstein yang elegan, memungkinkan penentuan hasil itu.

Kita dapat mengubah dua urutan di atas ke skema yang lebih umum dengan beberapa simbolisme, sebagai berikut:

· Jika A (Earl) maka B (memainkan bola basket)

· Jika B (memainkan bola basket) maka C (memainkan olahraga)

· Jika A (Earl) maka C (memainkan olahraga)

Urutan tiga langkah sederhana ini berfungsi sebagai blok inti untuk membangun bukti yang lebih panjang. Kami dapat menambahkan beberapa negasi ke logika kami untuk membangun blok inti langkah terkait.

· Jika tidak C (tidak bermain olahraga) maka tidak B (tidak bermain bola basket)

· Jika tidak B (tidak bermain bola basket) maka bukan A (bukan Earl)

· Jika tidak C (orang tersebut tidak memainkan olahraga) maka bukan A (bukan Earl)

Perhatikan bentuk khusus dari negasi. Dalam negasi pernyataan “Jika A, maka B”, kita menukar kondisi “jika A” dengan hasil “kemudian B”, dan membuat keduanya negatif, untuk mendapatkan “Jika bukan B, maka bukan A”. Kesalahan umum melibatkan hanya melakukan salah satu dari langkah-langkah ini. Dua kesalahan yang berbeda dapat terjadi, pertama dengan hanya menukar kondisi dan hasilnya (dan tidak meniadakan apa pun), dan yang kedua dengan meniadakan kondisi dan hasil (dan tidak bertukar). Kedua kesalahan terlihat sebagai berikut:

· Jika B (orang memainkan bola basket), maka A (Earl)

· Jika bukan A (bukan Earl), maka bukan B (tidak bermain basket)

Ini jelas salah. Banyak orang selain Earl bermain bola basket, dan orang-orang itu menunjukkan dua pernyataan terakhir yang salah.

Kita dapat membuat jenis pernyataan deduktif lebih lanjut dengan menempatkan beberapa kondisi dalam pernyataan “if” dan menghubungkannya dengan operator logika. Jika situasi kami melibatkan kondisi yang diperlukan, yaitu semua persyaratan harus dipenuhi, kami menghubungkan beberapa ketentuan dengan operator “DAN”. Kami menggunakan “ATAU” jika kami memiliki kondisi yang cukup, mis. Salah satu ketentuan dapat dipenuhi agar hasilnya benar. Ini terlihat sebagai berikut:

Leave a Reply

Your email address will not be published. Required fields are marked *