id: 4c0c5308e88a43eeb13b352e88927965
parent_id: 9f9b9eeba1fc4d14878938b8852d0ac5
item_type: 1
item_id: a024d5454e3c49a5afbd4cd4ada5c02b
item_updated_time: 1667347645511
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"UOp Term\"],[1,\" | (Term)\"],[0,\"\\\n\"],[-1,\"\"],[0,\"\\t\\t- Var \"]],\"start1\":690,\"start2\":690,\"length1\":17,\"length2\":26},{\"diffs\":[[0,\"ies \"],[-1,\"Q\\\"\"],[1,\"(Q And R)\\\" is syntactically valid, but does not yet have a meaning without a semantics\\\n\\t- Semantics defines \\\"what does this sentence mean\\\"\\\n\\t\\t- Typically defined w.r.t. a model, in the case of propositional logic this is a truth valuation\\\n\\t\\t- Sentences are either true or false, given a model v : Var -> {0, 1}. For instance, given v(x) = 1 if x = p else 0, v |/= p -> q. (p -> q is not true under v, v does not satisfy p -> q)\\\n\\t\\t- Uses rules such as p -> q is true if p is false or q is true\\\n\\t- Deduction \"]],\"start1\":805,\"start2\":805,\"length1\":6,\"length2\":509}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2022-11-02T00:07:45.831Z
created_time: 2022-11-02T00:07:45.831Z
type_: 13