A proposição condicional p → q é, logicamente, equivalente à proposição:

A proposição “p e q” é denominada conjunção e é denotada pelo símbolo p ∧ q. A negação de uma conjunção “p e q”, ou seja, ~ (p ∧ q) é a proposição:

Considere a sequência de figuras. Ela começa por um quadrado.

Seguindo o mesmo padrão, a próxima figura, (Etapa 4), será composta por quantos quadrados?

Considere as seguintes proposições.

I- “Se não p, então não q”, (~p → ~q):

II- “Se não q, então não p”, (~q → ~p):

III- “Não p ou q”, (~p ∨ q):

São proposições equivalentes à proposição condicional “Se p, então q”, (p → q):

A proposição: “Se p, então q”, denotada por “p → q”, é chamada de implicação ou afirmação condicional, onde p é chamada de hipótese e q é chamada de conclusão. Considere, por exemplo, a seguinte proposição condicional: “Se Mariana passar no concurso, então ela ganhará um presente.”. Dessa forma, p representa "Mariana passa no concurso" e q representa "Mariana ganha um presente".

Dada a tabela verdade, parcialmente preenchida, para a proposição condicional “Se p, então q”, (p → q):

Preenchendo a tabela, de cima para baixo, obtêm-se para a terceira coluna os seguintes valores lógicos:

Considere a seguinte tabela verdade

A tabela verdade apresentada demonstra o funcionamento do menor elemento de memória conhecido como

Assinale a alternativa que apresenta a negação da proposição “Hipnos toca flauta se, e somente se, Tânatos tem coração de ferro”.