Mastodon Feed: Post

Mastodon Feed

NfNitLoop ("Cody Casterline πŸ³οΈβ€πŸŒˆ") wrote:

@nicuveo This reminded me of many years ago taking a "Philosophy of Logic" course, in which we used software to edit Sentential/Propositional logic equations. Felt a bit like manipulating magic spells. 😊

For example syntax, see:
https://en.wikipedia.org/wiki/Propositional%5Flogic#List%5Fof%5Fclassically%5Fvalid%5Fargument%5Fforms