diff options
Diffstat (limited to 'source/Felix/Test')
| -rw-r--r-- | source/Felix/Test/Unit/Concrete.hs | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/source/Felix/Test/Unit/Concrete.hs b/source/Felix/Test/Unit/Concrete.hs index 7eac7df..839d763 100644 --- a/source/Felix/Test/Unit/Concrete.hs +++ b/source/Felix/Test/Unit/Concrete.hs @@ -109,6 +109,28 @@ textualConnectivePrecedence = do (Scoped (Connected Raw.Conjunction Falsity Truth)) ) + , ( "a quantified conjunction operand scopes over following disjunctions" + , "$\\top$ and for all $x$ such that $\\top$ we have $\\bot$ or $\\top$ or $\\bot$" + , Connected Raw.Conjunction + Truth + (Scoped + (Connected Raw.Disjunction + (Connected Raw.Disjunction Falsity Truth) + Falsity)) + ) + , ( "a quantified conjunction operand scopes over following equivalence" + , "$\\top$ and for all $x$ we have $\\bot$ iff $\\top$" + , Connected Raw.Conjunction + Truth + (Scoped + (Connected Raw.Equivalence Falsity Truth)) + ) + , ( "a bare existential remains an ordinary connective operand" + , "$\\top$ and there exists $x$ or $\\bot$" + , Connected Raw.Disjunction + (Connected Raw.Conjunction Truth (Scoped Truth)) + Falsity + ) ] parseStatement :: Text -> Either String Raw.Stmt |