Symbolizing Scripture

Translating Bible verses into symbolic form is sometimes fun and insightful.
Consider Exodus 21:18-19,

bible_with_books_med[1]If men contend with each other, and one strikes the other with a stone or with his fist, and he does not die but is confined to his bed, if he rises again and walks about outside with his staff, then he who struck him shall be acquitted. He shall only pay for the loss of his time, and shall provide for him to be thoroughly healed.”

Recognizing this as a single logical proposition, it symbolizes as follows:

     {C ⋅ [(S ∨ F) ⋅ (~D ⋅ B)]} ⊃ [(R ⋅ W) ⊃ (A ⋅ P ⋅ H)]

A completed truth tree for this compound proposition clearly displays all the possible outcome options under this law:

  1. The men were not contending, or
  2. One does not strike the other, neither with a stone nor his fist, or
  3. The victim dies, or
  4. The victim is not confined to his bed, or
  5. The victim does not rise, or
  6. The victim does not walk about outside with a staff, or
  7. The perpetrator is acquitted, but pays for the loss of time and provides for thorough healing of the victim.

Leave a Reply

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