Com base nas definições apresentadas acima, julgue os itens ...

Grande cuidado nessa questão.Está sendo pedido a NEGAÇÃO da proposição A -> BOu seja, ~(A -> B) com MESMOS valores lógicos de A ^ (~B)Tabela VerdadeA | B | ~B | A -> B | ~(A -> B) | A^(~B)V | V | F | V | F | FV | F | V | F | V | VF | V | F | V | F | FF | F | V | V | F | FComo se vê, as duas última colunas são iguais, fazendo com que a assertiva seja CORRETA. Excelente o comentário do Matheus, bem elucidativo e didático. Parabéns.Eu não havia feito a tabela verdade como feita por ele, mas simplesmente admitindo que sendo na tabela verdade até A -> B somente uma opção em que A->B é falso, que é a situação onde A é verdade e B é falso, poderia escrever considerando que o contrário de falso é verdadeiro a opção A^~B. Mole,a negaçao de a->b é A(¬B),portanto é desnecessario fazer tabela! Corrigindo, a negação da condicional é A ^ ~B, como propõe a questão Oi Pessoal;ATENÇÃO:No anexo da questão, tem-se:"... A proposição AvB -lida como "A e B"...Corrigindo..A proposição AvB - é lida como "A ou B". (Disjunção)No texto, a frase refere à conjunção.A proposição A^B - lida como"A e B"- tem valor lógico V quando A e B forem Ve valor lógico F, nos demais casos." (conjunção)Só para relembrar!!Abç,Lavis

Repare bem no que ele afirmou!

A NEGAÇÃO da proposição AImagem 016.jpgB possui os mesmos valores lógicos que a proposição AImagem 017.jpg(¬B).

A => B (para ser verdade, só não aceita que somente B seja falso)

A e B (para ser verdade, aceita unicamente que A e B sejam verdadeiros!)

 assim, considerando A e B como verdade, n( A => B) é falso como A e (nB)

 

Logo QUESTÃO CERTA

 

Não é necessário perder tempo com a tabela-verdade, porém é imprescindível o conhecimento da Lei de Morgan:

A -> B = ~A v B

~(~A v B) = A ^ ~B

Correta! Caramba se for só na tabela verdade sem olhar que o enunciado da questão pede a negação dessa proposição fácil! Maldade kk

LEI DO MANÉ

MANTÉM A 1ª E NEGA A 2ª

Macete:

 

 

Proposição composta                                                 Negação

                   e                                                                  ou ( Princípio da comutação: admite inversão das orações )

                  ou                                                                  e

             Ou...ou                                                  ...se e somente se...

          Se...,então                                                             e ( Mané -> mantém a primeira e nega a segunda )

   ...se e somente se...                                               Ou...ou...

 

 

                                                                                   -----

 

                                                                              NEGAÇÃO

 

                                  TODO    ------------------->   ALGUM ... NÃO / PELO MENOS UM ... NÃO ... / EXISTE ... NÃO...

                    NENHUM / NÃO EXISTE           ----------------------->   ALGUM 

                                ALGUM                           ------------------------->    NENHUM / NÃO EXISTE

ALGUM ... NÃO / PELO MENOS UM ... NÃO ... / EXISTE ... NÃO... --------->   TODO 

 

 

--

 

Se houver erro, avisem-me.

CERTO

A➜B = Se A então B

A∧(¬B) = A e não B

CERTO

A➜B = Se A então B

A∧(¬B) = A e não B

SE...ENTÃO

MACETE: COLOCO "E" REPETE A FRENTE NEGO ATRÁS ( RENEGO)

Para negar o ➜ use a regra do MANÉ

REGRA DO MANÉ: Mantenha a primeira (A), negue a segunda (B) e troque o "se então" (➜) por "e" (∧)

CERTA:  Negação de A➜B é A∧(¬B).

 A∧(¬B) = MANÉ, mantêm a primeira E nega a segunda

Resposta : CERTA

A B ¬B A->B A^¬B ¬(A->B)

V V F V F F

V F V F V V

F V F V F F

F F V V F F

CONFORME A DEMONSTRAÇÃO DA TABELA ACIMA

A NEGAÇÃO A^¬B É = ¬(A->B)

Bons Estudos