Skip to main content

Hadis tentang shalat dalam pandangan logika matematika -- sekedar iseng :D

Rasulullah SAW pernah bersabda: "Yang pertama akan dihisab dari seorang hamba adalah shalatnya. Jika baik shalatnya, maka baiklah seluruh amalannya dan jika buruk shalatnya, maka buruklah seluruh amalnya".

Kita akan mengotak-atik bagian terakhir dari hadis ini yaitu "Jika baik shalatnya, maka baik seluruh amalannya, dan jika buruk shalatnya, maka buruklah seluruh amalannya" . Kalimat ini bisa dipecah menjadi dua kalimat majemuk:
- jika baik shalatnya, maka baik seluruh amalannya
- jika buruk shalatnya, maka buruk seluruh amalannya.
Kedua kalimat majemuk itu dihubungkan dengan kata hubung "dan"

Kalimat tersebut kemudian bisa dibuat menjadi kalimat tunggal simbolis sebagai berikut:
- p = baik shalatnya
- q = baik seluruh amalannya
- ~p = buruk shalatnya
- ~q = buruk seluruh amalannya
Dengan demikian, maka bentuk kalimat majemuk tersebut adalah sebagai berikut
(p -> q) & (~p -> ~q)

Untuk kalimat paling luar yang dihubungkan dengan dan (&), kalimat itu benar jika dan hanya jika keduanya bernilai benar. Artinya kalimat ini benar jika kedua kalimat yaitu (jika baik shalatnya, maka baik seluruh amalannya) dan kalimat (jika buruk shalatnya, maka buruk seluruh amalannya) bernilai benar.

Karena kedua kalimat itu merupakan sebuah implikasi, maka kalimat itu akan bernilai salah jika dan hanya jika anteseden (bagian depan) bernilai benar dan konsekuen (bagian belakang) bernilai salah.
Misalkan - pada kalimat pertama:
- shalatnya baik (B)
- baik seluruh amalnya (S)
atau - pada kalimat kedua:
- shalatnya tidak baik (B)
- buruk seluruh amalnya (S)

Dengan demikian, dapat disimpulkan bahwa:
- tidak mungkin orang yang shalatnya baik, tapi tidak baik amalannya. (kalimat pertama)
- tidak mungkin orang yang shalatnya tidak baik, tapi baik amalannya. (kalimat kedua)

Comments

Kalimat logika:
(p -> q) & (~p -. ~q)

ekuivalen dengan:
(p <-> q)

Dengan kata lain, makna hadits sama dengan kalimat:
"Sholatnya baik, jika dan hanya jika seluruh amalannya baik"
Anonymous said…
Pak enak nya menggunakan modus tolen atau modus ponen????
hehehehe....

Popular posts from this blog

Find JIRA issues mentioned in Confluence Page

I have been walking through a lot of pages in internet but have not found any answer except one. However, the answer is not complete, so I will share my experience here. This feature is very useful, especially to summarize the issues found during certain tests, where the tests are reported in a confluence page. I found that there are so many questions about this, but Atlassian seems does not want to bother with this request. I found one way to do this by the following tricks Take one JIRA issue that related to the target confluence page (in this case, say it is GET-895) Find the global ID of a JIRA issue: http://bach.dc1.scram.com:8080/rest/api/latest/issue/GET-895/remotelink It will show the JSON like this: [{"id":28293,"self":"http://bach.dc1.scram.com:8080/rest/api/latest/issue/GET-895/remotelink/28293","globalId":"appId=662e1ccf-94da-3121-96ae-053d90587b29&pageId=105485659","application":{...

If and For in Wolfram Mathematica (with examples)

IF Condition in Wolfram Mathematica The syntax is as follows xxxxxxxxxx If [ condition , what to do if true , what to do if false ] Some examples Example 1. Simple command x x = - 3 ; If [ x < 0 , - x , x ] 3 Example 2. If condition in a function abs [ x_ ] := If [ x < 0 , - x , x ] abs /@ { - 3 , 2 , 0 , - 2 } { 3 , 2 , 0 , 2 }   For in Wolfram Mathematica The syntax is as follows For [ start , test , inc , what to do ] Some examples Example 1. Simple Loop xxxxxxxxxx For [ i = 0 , i < 4 , i ++, Print [ i ]] 0 1 2 3 Example 2. Another simple loop For [ i = 10 , i > 0 , i --, Print [ i ]] 10 9 8 7 6 5 4 3 2 1 Example 3. Print list a = { 10 , 3 , 9 , 2 } For [ i = 1 , i < 5 , i ++, Print [ a [[ i ]]]] 10 3 9 2  

Android studio in ubuntu - problem: 'tools.jar' seems to be not in Android Studio classpath. Please ensure JAVA_HOME points to JDK rather than JRE.

I love coding, especially Java. Because Android apps is written in Java, I would love to make one as well. Unfortunately, when I tried to install Android Studio on my Ubuntu yesterday, I got this error message: 'tools.jar' seems to be not in Android Studio classpath. Please ensure JAVA_HOME points to JDK rather than JRE. When I google on this error, there are so many websites and forums discuss about this error as well as the solutions. However, in linux (or ubuntu in my case), sometime we have different environment so that the solution will not always work (sometimes we have to do another thing before or after that solution). And this also happen in this case. Here are what I did then: 1. Know what exactly the problem is: the problem is that the JAVA_HOME in my system did not point to JDK. Instead, it points to a JRE. JRE can only be used to run java applications, not to build them. 2. Check the java path used by the system. In terminal, I typed the following: ...