Recent content by Upeksha
-
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...- Upeksha
- Thread
- Replies: 1
- Forum: Engineering and Comp Sci Homework Help
-
U
Why ISO-OSI model is considered as a reference model?
Yes...- Upeksha
- Post #3
- Forum: Computing and Technology
-
U
Why ISO-OSI model is considered as a reference model?
Why ISO-OSI model is considered as a reference model?- Upeksha
- Thread
- Model Reference
- Replies: 9
- Forum: Computing and Technology
-
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)- Upeksha
- Post #3
- Forum: Calculus and Beyond Homework Help
-
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...- Upeksha
- Thread
- Convert First order First order logic Logic
- Replies: 3
- Forum: Calculus and Beyond Homework Help