Dicas para a Prova de Lógica II

Entenda o significado da tabela de verdade:Cada tipo de proposição tem resultadoAí vão algumas frases pra te ajudar a entender Conjunções (^) (e, mas, etc...) “Ela é bonita (b) e inteligente(i) Ou seja, ela precisa ser ambos.. bonita E inteligenteb i (b^i)V V VV F FF V FF F F

Disjunções (Ú) (ou)“Neste sábado vou OU ao teatro (t) OU ao cinema (c)”Ou seja, posso ir só ao teatro, só ao cinema ou a ambos. A falsidade está em não fazer nem um nem outro.t c (t Ú c)V V VV F VF V VF F F

Implicações (®) (se... então, somente se... etc....)“se sou paulista (p), sou brasileiro(b)”Sou paulista e sou brasileiro ...... Sou paulista e não sou brasileiro (não é um caso possível, por isso é falso)Não sou paulista e sou brasileiroNão sou paulista e não sou brasileirop b (p®b)V V VV F FF V VF F V

Bi-implicação («) (SE e somente SE)“Sou paulistano(p) se e somente se nasci na cidade São Paulo (c)”Sou paulistano e nasci na cidade de São Paulo: okSou Paulistano mas não nasci na Cidade de São Paulo: impossível!!!!!!Não sou Paulistano mas nasci na cidade de São Paulo: Impossível!!!!Não sou Paulistano e não nasci na cidade de São Paulo: tudo bem! A condição não impede que esta possibilidade seja verdadeira.p c (p«c)V V VV F FF V FF F V

Nota: o raciocínio será válido se e somente se não existir o caso em que as premissas são verdadeiras e a conclusão falsa. As premissas e as conclusões têm q ser verdadeiras.

Para checar se o raciocínio é válido basta supor que ele é inválidoEx.Se ele é amigo, então ele é bondoso. Ele não é bondoso, Portanto ele não é amigo.(A®B) VØ B VØA F

a) supondo a invalidade do argumento descubro que ØA é falso.b) seØA é falso então A é verdadeiro.

c) ØB é verdadeiro, logo, B é falso.

d) sendo assim, pela tabela concluímos que (A®B) é falso (V®F = F)e) Porém supus que esta premissa (A®B) era verdadeira e ela não pode ser verdadeira e falsa ao mesmo tempo. Assim, temos um ABSURDO!!!! O raciocínio não é inválido como supus.

Viu? Não é um bixo de sete cabeça...

Agora q já sabe isso vamos seguir adiante...

Para resolver os raciocínios lógico, você vai precisar saber brincar com as premissas e conclusões....Como??? É só prestar atenção e usar as equivalências....

1. (A®B) é o mesmo que (ØB®ØA) (atenção na ordem!!!!!)

2. Ø(A^B) é o mesmo que (ØAÚØB)

3. A, a menos que B é o mesmo que (ØB®A)

4. A®BB ® C :.A®C e assim, (ØC®ØA)

5. A®BB ® C :. A®C (v) supondo que A e C sejam verdadeiros.

6. A®BB ® C

:.A®C (f) supondo que A e C sejam falsos.

Agora, a maior dica é resolver a lista de exercícios 3 que já está disponível na intranet, juntamente com seu gabarito. A prova será quase no mesmo estilo!!!

Por fim, colocamos as dicas de uma forma mais objetiva para a sua folha de consulta...

Tabela da Verdade

EQUIVALÊNCIAS1. (A®B) é o mesmo que (ØB®ØA) (atenção na ordem!!!!!)

2. Ø(A^B) é o mesmo que (ØAÚØB)

3. A, a menos que B é o mesmo que (ØB®A)

4. A®BB ® C :.A®C e assim, (ØC®ØA)

5. A®BB ® C :. A®C (v) supondo que A e C sejam verdadeiros.

6. A®BB ® C :.A®C (f) supondo que A e C sejam falsos.

FFF

FVF

FFV

VVV

( )

F

V

V

V

( Ú )

V

V

F

V

( ® )

V

F

F

V

( « )

V

F

F

V

( « )