Recent content by Upeksha

  1. U

    Using inference rules/equivalences

    Homework Statement http://stackoverflow.com/questions/34180741/using-inference-rules-equivalencies-show-that-%c2%ac-a-%e2%88%a8-%c2%ac-b-%e2%86%92-c-%e2%88%a7-d-%e2%88%a7']Using[/PLAIN] inference rules/equivalencies, Show that ( ( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ( C → E) ∧ ( ¬ E )) → A Homework...
  2. U

    Why ISO-OSI model is considered as a reference model?

    Yes...
  3. U

    Why ISO-OSI model is considered as a reference model?

    Why ISO-OSI model is considered as a reference model?
  4. U

    Convert sentences into First Order Logic

    Thank you. Is it correct now? (1) ∀x [thin(x) ∧ tall(x) ∧ energetic(x)] → good_basketball_player(x) (2) ∃x [tall(x) ∧ ¬ good_basketball_player(x)] (3) ∀x [do_exercise(x) ∨ eating_healthy_food(x)] → energetic(x) (4) thin(saman) ∧ tall(saman) ∧ do_exercise(saman)
  5. U

    Convert sentences into First Order Logic

    (1) Anyone who is thin, tall and energetic will be good basketball player. (2) Some people are tall but not good basketball players. (3) Anyone who do exercise or eating healthy food will be energetic. (4) Saman is thin and tall person who do exercises. Write the above sentences in First Order...
See more
Back
Top