For my project I'm working on inference, where we get implications such as A ^ B -> P.
I store my consequences and their respective antecedents in a dictionary where the consequent (P) is the key and the antecedents (A ^ B) are the value. However I run into an error when I have multiple implications with the same consequence, as I already used that P as a key. For example:
A ^ B -> P.
C ^ D -> P.
Throws an error. I can't find out a way to store 2 antecedents for the same consequent. Any tips are appreciated!