Total Posts:4|Showing Posts:1-4
Jump to topic:

DDO should support modal logic operators

zmikecuber
Posts: 4,093
Add as Friend
Challenge to a Debate
Send a Message
4/14/2014 6:04:45 PM
Posted: 2 years ago
I've tried a few times to put modal logic operators in forums and debates, and it's never worked.

Is there anyway we could get juggle to support modal operators of possibility and necessity and maybe other symbolic logic?

Thanks
"Delete your fvcking sig" -1hard

"primal man had the habit, when he came into contact with fire, of satisfying the infantile desire connected with it, by putting it out with a stream of his urine... Putting out the fire by micturating was therefore a kind of sexual act with a male, an enjoyment of sexual potency in a homosexual competition."
zmikecuber
Posts: 4,093
Add as Friend
Challenge to a Debate
Send a Message
4/14/2014 6:05:11 PM
Posted: 2 years ago
Even just if we could get these symbols... http://blogs.discovermagazine.com...
"Delete your fvcking sig" -1hard

"primal man had the habit, when he came into contact with fire, of satisfying the infantile desire connected with it, by putting it out with a stream of his urine... Putting out the fire by micturating was therefore a kind of sexual act with a male, an enjoyment of sexual potency in a homosexual competition."
Jifpop09
Posts: 2,243
Add as Friend
Challenge to a Debate
Send a Message
4/14/2014 6:31:20 PM
Posted: 2 years ago
At 4/14/2014 6:04:45 PM, zmikecuber wrote:
I've tried a few times to put modal logic operators in forums and debates, and it's never worked.

Is there anyway we could get juggle to support modal operators of possibility and necessity and maybe other symbolic logic?

Thanks

It really annoys me. You just get something like "DDO687" where the character should be
Leader of the DDO Revolution Party
TheGreatAndPowerful
Posts: 3,012
Add as Friend
Challenge to a Debate
Send a Message
4/14/2014 6:38:21 PM
Posted: 2 years ago
At 4/14/2014 6:04:45 PM, zmikecuber wrote:
I've tried a few times to put modal logic operators in forums and debates, and it's never worked.

Is there anyway we could get juggle to support modal operators of possibility and necessity and maybe other symbolic logic?

Thanks

Enter equation here:

http://www.codecogs.com...

Save as picture.

Upload to debate.

Example:

\\\textrm{(M) }\square A\rightarrow A
\\\textrm{(4) }\square A\rightarrow \square \square A
\\\textrm{(5) }\lozenge A\rightarrow \square \lozenge A
\\\textrm{(S4) }\square \square ...\square = \square \textrm{ and }\lozenge \lozenge = \lozenge
\\\textrm{(B) }A\rightarrow \square \lozenge A

Yields:

http://www.debate.org...