Closed RonjaKaehne closed 5 years ago
formatted text brackets are non conforming to prolog:
[[zu,zeigen],[a,->,[b,->,c],->,[a,and,b],->,c],[abs],[es,seien,a,b,und,c,aussagen],[abs],[angenommen],[a,->,[b,->,c]],[abs],[angenommen,ferner,es,gilt],[[a,and,b]],[abs],[dann,folgt,a],[abs],[ausserdem,folgt,b],[abs],[damit,gilt],[[b,->,c]],[abs],[ferner,folgt,c],[abs],[also,gilt],[a,->,[b,->,c],->,[a,and,b],->,c]]. should look like [[es,seien,a,b,und,c,aussagen], [angenommen,[a,->,[b,->,c]]], [angenommen,ferner,es,gilt,[a,and,b]], [dann,folgt,a], [ausserdem,folgt,b], [damit,gilt,[b,->,c]], [ferner,folgt,c], [also,gilt,[[a,->,[b,->,c]],->,[[a,and,b],->,c]]]]
formatted text brackets are non conforming to prolog:
[[zu,zeigen],[a,->,[b,->,c],->,[a,and,b],->,c],[abs],[es,seien,a,b,und,c,aussagen],[abs],[angenommen],[a,->,[b,->,c]],[abs],[angenommen,ferner,es,gilt],[[a,and,b]],[abs],[dann,folgt,a],[abs],[ausserdem,folgt,b],[abs],[damit,gilt],[[b,->,c]],[abs],[ferner,folgt,c],[abs],[also,gilt],[a,->,[b,->,c],->,[a,and,b],->,c]]. should look like [[es,seien,a,b,und,c,aussagen], [angenommen,[a,->,[b,->,c]]], [angenommen,ferner,es,gilt,[a,and,b]], [dann,folgt,a], [ausserdem,folgt,b], [damit,gilt,[b,->,c]], [ferner,folgt,c], [also,gilt,[[a,->,[b,->,c]],->,[[a,and,b],->,c]]]]