///
Uma Proposição é uma sentença declarativa que é verdadeira ou falsa. Considere as proposições x = está sujo e y = está limpo e analise as afirmativas a seguir: I) x → ~y : “se está sujo então não está limpo”
II) x ↔ ~y : “está limpo se e somente se não estiver sujo”
III) x ˅ y : “está sujo ou está limpo”
IV) x ˄ ~y → x : “está sujo e não está limpo, mas está sujo”