brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-08-24 22:31:59 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fixed mis-usage of model constructor

Browse source
This commit is contained in:
Brandon Rozek 2025-05-26 17:28:32 -04:00
parent ec451e007c
commit 47128b5c9e
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
R.py
View file

@ -106,7 +106,7 @@ designated_values = {a1}
logical_operations = {
mnegation, mimplication, mconjunction, mdisjunction
}
R_model_2 = Model(carrier_set, logical_operations, designated_values, "R2")
R_model_2 = Model(carrier_set, logical_operations, designated_values, None, "R2")
interpretation = {
Negation: mnegation,
@ -132,8 +132,8 @@ solutions = generate_model(R_logic, model_size, print_model=False)
print(f"Found {len(solutions)} satisfiable models")
for model, interpretation in solutions:
print(has_vsp(model, interpretation))
# for model, interpretation in solutions:
# print(has_vsp(model, mimplication, True))
print("*" * 30)
@ -301,7 +301,7 @@ mdisjunction = ModelFunction(2, {
logical_operations = {
mnegation, mimplication, mconjunction, mdisjunction
}
R_model_6 = Model(carrier_set, logical_operations, designated_values, "R6")
R_model_6 = Model(carrier_set, logical_operations, designated_values, None, "R6")
interpretation = {
Negation: mnegation,
@ -312,4 +312,5 @@ interpretation = {
print(R_model_6)
print(f"Model {R_model_6.name} satisfies logic {R_logic.name}?", satisfiable(R_logic, R_model_6, interpretation))
print(has_vsp(R_model_6, interpretation))
# print(has_vsp(R_model_6, mimplication, True))