xx
use: Pytanie odnosnie logiki matematycznej;
zastanawiam sie nad tym jaką wartosc logiczną posiadają zdania ;
∃y ∀x 5x+y=90
∀x ∃y 5x−y=50
niby na pierwszy rzut oka wydaje sie to samo ale ta kolejnosc kwantyfikatorow tutaj chyba zrobi
roznice i wg mnie zdanie pierwsze ma wartosc 0 a drugie ma wartosc 1
Moze napisze jak ja to rozumiem ( ktos napisze czy dobrze );
zdanie nr1; Istnieje taki y ze dla kazdego x rownanie zachodzi , wg mnie fałsz bo nie ma igreka
ktory zaspokoi kazdego iksa

zdanie nr2; Dla kazdego x istenieje y ze rownanie zachodzi , i to jest prawda bo dla kazdego
iksa znajdziemy igreka ktory go zaspokoi

dobrze
2 lip 18:25
PW: Tak, tylko to "zaspokajanie' ma niematematyczne asocjacje.
2 lip 21:32
asdf: @PW
nie zgodzę się z Tobą do końca. Używania określeń w matematyce jest dozwolone, byle by było to
czytelne i zrozumiałe

Przecież same liczby są abstrakcją.
2 lip 21:39
PW: YES! YES! YES! (że zacytuję klasyka).
2 lip 21:43