Códigos

Se hoje é sexta-feira então não é final de semana.

H - hoje é sexta-feira
F - final de semana

Formalização: H->~F

Agora é a sua vez

Questão 1 - Se o programa é eficiente, executa rapidamente. O programa é eficiente ou tem algum bug. No entanto, o programa não executa rapidamente. Logo, ele tem um bug. Letras: E, R, B

E - Programa é Eficiente.
R - Programa Executa Rapidamente.
B - Programa tem bug.

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

Questão 2
Se a Liga da justiça não combater o crime e defender a paz, então nem todos os super-heróis lutam contra o mal. Todos os super-heróis lutam contra o mal. A Liga da justiça defende a paz. Portanto, ela combate o crime.
Letras: C, D, S

C - Liga da Justiça Combate o Crime
D - Liga da Justiça Defende a Paz
S – Todos Super – Heróis lutam contra o Mal

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

Questão 3
Se Anakin treinou com o Luke ou a Princesa Amidala encontrou o sabre-de-luz, então houve uma morte. Se houve uma morte, então o Anakin estava em Naboo. Anakin não estava em Naboo; Portanto, Anakin não treinou com o Luke ou a Princesa Amidala não encontrou o sabre-de-luz.
Letras: A, P, M, N

A - Anakin Treinou com o Luke
P - Princesa Amidala encontrou o sabre-de-luz
M- Houve uma Morte
N- Anakin Estava em Naboo

Formalização: (A ^ P) -> M -> N |-(~A ^ ~P)