A proposição "Se estudo muito, então sou aprovado" pode ser logicamente substituída, sem alteração de sentido, por:

Uma proposição lógica composta é dada por: (p ^ q) -> (r v s). Quantas linhas terá a tabela-verdade necessária para analisar todas as combinações possíveis de valores lógicos dessa proposição?

De acordo com as leis da lógica, a negação da sentença "O fiscal faz a vistoria ou o relatório é emitido" é:

Considere que o valor lógico de uma proposição "p" é verdadeiro e o valor lógico de uma proposição "q" é falso. O valor lógico da proposição composta (p v q) é:

Em expressões lógicas complexas sem parênteses, deve-se respeitar a ordem de precedência dos conectivos: 1º Negação (~); 2º Conjunção (^) e Disjunção (v); 3º Condicional (->); 4º Bicondicional (<->).

Na ausência de parênteses, qual operador deve ser resolvido por último?

A disjunção (p v q) pode ser reescrita como uma condicional. A regra é: nega-se a primeira parte, troca-se o "ou" por "se... então" e mantém-se a segunda parte (~p -> q).

A proposição "Sou feliz ou estudo" é equivalente a:

Considere o argumento:
Premissa 1: Se o edital sair, eu estudarei.
Premissa 2: Eu não estudei.

A conclusão logicamente válida para que o argumento seja correto é:

A negação da proposição "Nenhum aluno foi aprovado" deve seguir a lógica de mostrar que existe pelo menos uma exceção à regra de nulidade.

Assinale a alternativa que nega corretamente a sentença:

Na condicional p -> q, dizemos que p é condição suficiente para q, e q é condição necessária para p. Esse conceito é frequentemente explorado pela AOCP para confundir o candidato sobre a ordem das proposições.

Na frase "Se chover, a colheita estará garantida", chover é:

Considere a proposição composta: P = (p ^ q) -> (p v q). Ao construir a tabela-verdade para essa proposição, verifica-se que o resultado da última coluna apresenta apenas valores lógicos Verdadeiros.

Nesse caso, a proposição P é uma: