Logica

Pessoal, esta atividade serve para exercitar a simbolização de sentenças. Por isso, formalize os argumentos abaixo, usando as letras sugeridas e envie as respostas para esta tarefa.Está atividade vale 10 pontos.


Exemplo:

Se o programa é eficiente, executa rapidamente. O programa é eficiente ou tem bug. O programa não executa rapidamente. Logo, ele tem um bug. Letras: E, R, B

P - programa é eficiente
R - programa executa rapidamente
B - programa tem bug

Formalização: P -> R, P v R, ~R |- B

Agora é a sua vez :)


Questão 1
Se Jack Bauer liberar um terrorista, então a CTU escondeu uma informação. Jack Bauer liberará um terrorista ou não explodirá uma bomba na cidade. Se o terrorista atingir seu objetivo, então explodirá uma bomba na cidade. A CTU não escondeu uma informação. Portanto, o terrorista não atingirá seu objetivo.
Letras: J, C, B, T

J - Jack Bauer liberar um terrorista
C - CTU escondeu uma informação
B - explodirá uma bomba na cidade
T - terrorista atingir seu objetivo

Formalização: J -> C, J v ~B, T -> B, ~C |- ~T

Questão 2
Se Sheldon não é um jogador de pedra, papel, tesoura, lagarto e Spock mas defende suas regras, então não é verdade que Sheldon senta no seu lugar no sofá. Sheldon senta no seu lugar no sofá. Sheldon defende suas regras. Portanto, Sheldon é um jogador de pedra, papel, tesoura, lagarto e Spock.

Letras: J, D, S

J - Sheldon é um jogador de pedra, papel, tesoura, lagarto e Spock
D - Sheldon defende suas regras
S - Sheldon senta no seu lugar no sofá

Formalização: (~J ^ D) -> ~S, S, D |- J

Questão 3
Sheldon incomoda ou Leonard não conseguiu estudar trancado no quarto. Penny não chegou no apartamento ou Leonard conseguiu estudar trancado no quarto. Portanto, se Sheldon não incomoda, então Leonard conseguiu estudar trancado no quarto e Penny chegou no apartamento.

Letras: S, L, P

S - Sheldon incomoda
L - Leonard estudar trancado no quarto
P - Penny chegou no apartamento

Formalização: S v ~L, ~P v L |- ~S -> L ^ P