Formuły zdaniowe
: 5 lut 2013, o 19:39
a)
Podać przykład formuły zdaniowej dwóch zmiennych \(\displaystyle{ \alpha (x,y)}\) dla której implikacja \(\displaystyle{ \forall_{x} \exists _{y}: \alpha (x,y) \Rightarrow \exists _{y} \forall_{x}: \alpha (x,y)}\) nie zachodzi.
Odp. \(\displaystyle{ \alpha (x,y)=x<y}\) Tak ?
b)Proszę podać konkretny przykład zbiorów \(\displaystyle{ X}\) i \(\displaystyle{ Y}\) oraz formuły zdaniowej dwóch zmiennych \(\displaystyle{ \alpha (x,y)}\) dla której implikacja: \(\displaystyle{ \forall_{x \in X} \exists _{y \in Y}: \alpha (x,y) \Rightarrow \forall_{y \in Y} \forall_{x \in X}: \alpha (x,y)}\) nie zachodzi.
Odp. \(\displaystyle{ \alpha (x,y)=x<y}\) A zbiory: \(\displaystyle{ A,B \in R}\) Tak ?
Podać przykład formuły zdaniowej dwóch zmiennych \(\displaystyle{ \alpha (x,y)}\) dla której implikacja \(\displaystyle{ \forall_{x} \exists _{y}: \alpha (x,y) \Rightarrow \exists _{y} \forall_{x}: \alpha (x,y)}\) nie zachodzi.
Odp. \(\displaystyle{ \alpha (x,y)=x<y}\) Tak ?
b)Proszę podać konkretny przykład zbiorów \(\displaystyle{ X}\) i \(\displaystyle{ Y}\) oraz formuły zdaniowej dwóch zmiennych \(\displaystyle{ \alpha (x,y)}\) dla której implikacja: \(\displaystyle{ \forall_{x \in X} \exists _{y \in Y}: \alpha (x,y) \Rightarrow \forall_{y \in Y} \forall_{x \in X}: \alpha (x,y)}\) nie zachodzi.
Odp. \(\displaystyle{ \alpha (x,y)=x<y}\) A zbiory: \(\displaystyle{ A,B \in R}\) Tak ?