Para decidir se um argumento é válido ou não, a lógica proposicional (clássica) se vale da análise dos valores-verdade das proposições – atômicas (simples) e moleculares (compostas) – envolvidas em uma determinada inferência no método semântico de matrizes lógicas, conhecido como tabelas-verdade. De acordo com esse método, assinale o que for correto.

01) Uma proposição molecular da forma “p e q” é verdadeira, se, e somente se, as proposições denotadas por “p” e por “q” forem ambas verdadeiras.

02) Uma proposição molecular da forma “p ou q” é verdadeira, se, e somente se, ou a proposição “p” ou a proposição “q” forem alternativamente verdadeiras. Não há, na lógica proposicional, distinção entre os usos inclusivo e exclusivo da disjunção.

04) Uma proposição molecular da forma “não não p” é verdadeira, se, e somente se, a proposição “não p” for falsa.

08) Uma proposição molecular da forma “se p, então q” é verdadeira, se, e somente se, as proposições “p” e “q” forem ambas verdadeiras. Nos demais casos, o condicional expresso na lógica proposicional (clássica) é falso.

16) Uma proposição molecular da forma “p se, e somente se, q” é verdadeira, exprimindo equivalência lógica, se as proposições “p” e “q” forem ambas verdadeiras, mas nunca ambas falsas.