Lógica de dret constitucional

afirmació:
si plou aleshores em mullû de la pluja perque no portû paraigües.
negació:
plou y no em mullû de la pluja encara que potser no portû paraigües.


afirmació:
si A(x) aleshores B(x) perque no C(x).
( ( A(x) ==> B(x) ) <== ¬C(x) ) & ¬C(x).
negació:
A(x) y no B(x) encara que potser no C(x).
( ( A(x) & ¬B(x) ) & ¬C(x) ) or C(x).