转换字符串中的字典并删除值周围的引号(“或')的最佳方法
Best way to convert dictionary in string and remove quotes (" or ') around values
我有一些形式的字典:
Test = {'∧I': '([A, B] ⊦ ("A"∧B))', '∧E 1': "([(A∧B)] ⊦ 'A')", '∧E 2': '([(A∧B)] ⊦ B)'}
是他们将其转换为一些字符串的简单方法,值周围没有 '',意思是:
{'∧I': '([A, B] ⊦ ("A"∧B))', '∧E 1': ([(A∧B)] ⊦ A), '∧E 2': ([(A∧B)] ⊦ B)}
问题:
str1 = f'{Test}'.replace('"','')
本身就是字典本身在某些字符串中使用了"或'。
我发布了一些类似的 列表。但不幸的是,在字典上转移它有点困难。
str_ = "{" + ", ".join([f"{k}: {v}" for k, v in Test.items()]) + "}"
我有一些形式的字典:
Test = {'∧I': '([A, B] ⊦ ("A"∧B))', '∧E 1': "([(A∧B)] ⊦ 'A')", '∧E 2': '([(A∧B)] ⊦ B)'}
是他们将其转换为一些字符串的简单方法,值周围没有 '',意思是:
{'∧I': '([A, B] ⊦ ("A"∧B))', '∧E 1': ([(A∧B)] ⊦ A), '∧E 2': ([(A∧B)] ⊦ B)}
问题:
str1 = f'{Test}'.replace('"','')
本身就是字典本身在某些字符串中使用了"或'。
我发布了一些类似的
str_ = "{" + ", ".join([f"{k}: {v}" for k, v in Test.items()]) + "}"