Question

Simbolize e Prove (Logica)
1) Simbolize e prove, utilizando o primeiro teorema da consequência lógica, o argumento abaixo.


Se o Sr. Smith é vizinho do guarda-freio, então o Sr. Smith vive a meio caminho entre Detroit e Chicago. Se o Sr. Smith vive a meio caminho entre Detroit e Chicago, então ele não vive em Chicago.O Sr. Smith é vizinho do guarda-freio. Se o Sr. Robinson vive em Detroit, então ele não vive em Chicago. O Sr. Robinson vive em Detroit. O Sr. Smith vive em Chicago ou, então, o Sr. Robinson ou o Sr. Jones vive em Chicago. Se o Sr. Jones vive em Chicago,então o guarda-freio é Jones. Portanto o guarda-freio é Jones.

2)Simbolize e prove, utilizando o segundo teorema da consequência lógica, o argumento abaixo.

Se Smith derrotou o Foguista na sinuca, então ele não é o foguista.Smith derrotou uma vez o foguista no bilhar. Se o guarda-freio é Jones, então Jones não é o foguista. O guarda-freio é Jones. Se Smith não é o foguista e Jones não é o foguista, então Robinson é o foguista. Se o guarda-freio é Jones e o foguista é Robinson, então Smith é o maquinista. Portanto, Smith é o maquinista

Answer 1

então fica a umas coisas chamada hora da verdade Avid / preto número da dig dig dig dig dig dig essa sua tarefa estiver O que é Chicago você só responde Chicago é uma cidade muito famosa em japonês