14 lis 22:17
Gray: To implikacja ma być prawdziwa, a nie warunek x2>0.
14 lis 22:26
Strudzony_Pal: No to x2>0 jeżeli x<y lub y=2. I za x wstawiam 0, a y niech będzie −1.
Automatycznie x<y nie może zostać wykonane, a y nie równa się 2, więc x2 też nie działa. To
nie powinien być fałsz?
15 lis 11:01
Strudzony_Pal: α
15 lis 12:55
Strudzony_Pal: β
15 lis 13:20
Gray: A kiedy implikacja jest fałszywa? Jeżeli p jest fałszywe (jak u Ciebie dla x=0) to zdanie p⇒q
jest prawdziwe, bez względu jakie jest q.
15 lis 13:50