MLavazza
Created page with "{| style="margin: 0 auto;" |(VVVV)(''p'', ''q'') |Tautologia |(Se ''p'', então ''p''; e se ''g'', então ''q''.) (''p'' ⊃ ''p'' . ''q'' ⊃ ''q'') |- |(FVVV)(''p'', ''q'') |em palavras: |Não ambos ''p'' e ''q''. (∼(''p'' . ''q'')) |- |(VFVV)(''p'', ''q'') |em palavras: |Se ''q'', então ''p''. (''q'' ⊃ ''p'') |- |(VVFV)(''p'', ''q'') |em palavras: |Se ''p'', então ''q''. (''p'' ⊃ ''q'') |- |(VVVF)(''p'', ''q'') |em palavras: |''p'' ou ''q'' (''p'' ∨ ''q'') |..."