Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Suponha que as proposições "Edu tem um laptop ou ele tem um...
A lógica sentencial, ou proposicional, trata das sentenças, ou proposições, passíveis de receberem um, e apenas um, entre os dois valores lógicos: falsa (F) ou verdadeira (V). É usual simbolizar as proposições por letras maiúsculas do alfabeto e construir novas proposições usando-se símbolos lógicos. A proposição simbolizada por ¬A, a negação da proposição A, terá valor lógico V, se A for F, e valor lógico F, se A for V. A proposição simbolizada por A V B, lida como “A ou B”, terá valor lógico F quando A e B forem F, e, nos demais casos, será V. A proposição simbolizada por A -> B, lida como “se A, então B”, ou “B é condição necessária para A”, terá valor lógico F quando A for V e B for F, e, nos demais casos será V. A proposição simbolizada por A ∧ B, que se lê “A e B”, terá valoração V quando A e B forem V, e, nos demais casos, será F.
Um argumento é denominado válido, ou correto, se, simbolizado por P1 ∧ P2 ∧ ... ∧ Pn -> Q, for uma tautologia, isto é, for valorado sempre como V.
Com base nessas definições, julgue os itens a seguir.
Suponha que as proposições "Edu tem um laptop ou ele tem um celular" e "Edu ter um celular é condição necessária para Edu ter um laptop" sejam verdadeiras. Nesse caso, considerando essas proposições como premissas e a proposição "Edu tem um laptop" como conclusão de um argumento, então esse argumento é válido.
C
Certo
E
Errado