Question

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.

Answer 1

Osr. smith vive em Chicao