Czy to jest poprawna implikacja?

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
rem
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 12 lut 2023, o 20:31
Płeć: Mężczyzna
wiek: 21

Czy to jest poprawna implikacja?

Post autor: rem »

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ć.
Załączniki
implikacja
implikacja
Ostatnio zmieniony 12 lut 2023, o 21:02 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeXa - proszę zapoznać się z instrukcją: https://matematyka.pl/latex.htm. Poprawa wiadomości: nieprawda.
ODPOWIEDZ