Exercise
https://texercises.com/exercise/logik/
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.

Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
Let xyz be variables and let RS be relations. Distribute the negation inside the parentheses in the following proposition: neg forall x exists y exists zRxy land Rzx lor Rxy land Szx

Solution:
To solve this task it is convenient to use De Morgan's two statements: negA lor Bhspace.cmtextis equivalent tohspace.cmneg A land neg B negA land Bhspace.cmtextis equivalent tohspace.cmneg A lor neg B This leads to: neg forall x exists y exists zRxy land Rzx lor Rxy land Szx exists x forall y forall z negRxy land Rzx land negRxy land Szx textcolorred!!yellowexists x textcolorred!!yellowforall y textcolorred!!yellowforall zneg Rxy textcolorred!!yellowlor neg Rzx textcolorred!!yellowlandneg Rxy textcolorred!!yellowlor neg Szx
Meta Information
\(\LaTeX\)-Code
Exercise:
Let xyz be variables and let RS be relations. Distribute the negation inside the parentheses in the following proposition: neg forall x exists y exists zRxy land Rzx lor Rxy land Szx

Solution:
To solve this task it is convenient to use De Morgan's two statements: negA lor Bhspace.cmtextis equivalent tohspace.cmneg A land neg B negA land Bhspace.cmtextis equivalent tohspace.cmneg A lor neg B This leads to: neg forall x exists y exists zRxy land Rzx lor Rxy land Szx exists x forall y forall z negRxy land Rzx land negRxy land Szx textcolorred!!yellowexists x textcolorred!!yellowforall y textcolorred!!yellowforall zneg Rxy textcolorred!!yellowlor neg Rzx textcolorred!!yellowlandneg Rxy textcolorred!!yellowlor neg Szx
Contained in these collections:

Attributes & Decorations
Tags
eth, hs22, linalg i, logik, serie1
Content image
Difficulty
(2, default)
Points
0 (default)
Language
ENG (English)
Type
Show
Creator rk
Decoration
File
Link