Czy to jest poprawna implikacja?
: 12 lut 2023, o 20:49
Czy taka implikacja zachodzi ? Jeżeli istnieje \(\displaystyle{ x}\), takie że nieprawda, że forma zdaniowa \(\displaystyle{ \phi(x)}\), to (na mocy istnienia takiego \(\displaystyle{ x_0}\) ) nieprawda, że \(\displaystyle{ \phi(x_0).}\)
Również czy to jest poprawne: jeżeli dla każdego \(\displaystyle{ x}\), takiego, że nieprawda, że forma zdaniowa \(\displaystyle{ \phi(x)}\), to (na mocy prawa orzekania o wszystkim) nieprawda, że \(\displaystyle{ \phi(x_0).}\)
Również załączam zdjęcie tego, o czym chciałem zapytać.
Również czy to jest poprawne: jeżeli dla każdego \(\displaystyle{ x}\), takiego, że nieprawda, że forma zdaniowa \(\displaystyle{ \phi(x)}\), to (na mocy prawa orzekania o wszystkim) nieprawda, że \(\displaystyle{ \phi(x_0).}\)
Również załączam zdjęcie tego, o czym chciałem zapytać.