Given the FACTS convert them to FOPL and prove that “MARCUS IS NOT ALIVE NOW” Marcus was a man, Marcus was a Pompian, Marcus was born in 40AD, All men are mortals, All Pompian died when a volcano erupted in 79AD, No mortal lives longer than 150 years, ?It is now 2014, Alive means not dead, If someone dies, then he is dead at all later times
All Questions › Category: Artificial Intelligence, Machine Learning, & Deep Learning › Given the FACTS convert them to FOPL and prove that “MARCUS IS NOT ALIVE NOW” Marcus was a man, Marcus was a Pompian, Marcus was born in 40AD, All men are mortals, All Pompian died when a volcano erupted in 79AD, No mortal lives longer than 150 years, ?It is now 2014, Alive means not dead, If someone dies, then he is dead at all later times
Anonymous