def test_ks_one_world(): worlds = [World('1', {'p': True})] relations = {} ks = KripkeStructure(worlds, relations) atom = Atom('p') assert True == atom.semantic(ks, '1')
def test_atom_is_false_if_q_not_in_V(): worlds = [World('1', {'p': True})] relations = {} ks = KripkeStructure(worlds, relations) atom = Atom('q') assert False == atom.semantic(ks, '1')