szukanie zaawansowane
 [ Posty: 4 ] 
Autor Wiadomość
Mężczyzna
PostNapisane: 13 gru 2018, o 17:14 
Użytkownik

Posty: 355
Lokalizacja: Łódź
Dzień dobry.

Mam takie zdanie:
\neg \bigvee_{x \in \RR} \bigvee _{y \in \RR}(x + y = 0 \vee 2x + 2y = 3)

Ten układ jest sprzeczny, więc nie istnieją takie x i y spełniające go. Dlaczego więc zdanie jest fałszywe?

Dzięki
Michał
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2019
Góra
Mężczyzna
PostNapisane: 13 gru 2018, o 19:56 
Administrator

Posty: 24715
Lokalizacja: Wrocław
Jaki układ? Przecież masz alternatywę. Niewątpliwie istnieją takie x,y\in\RR takie, że x+y=0 (np. x=y=0). Zatem tym bardziej dla tych x,y prawdziwa jest alternatywa x + y = 0 \vee 2x + 2y = 3, co oznacza, że zdanie

\bigvee_{x \in \RR} \bigvee _{y \in \RR}(x + y = 0 \vee 2x + 2y = 3)

jest prawdziwe. Zatem jego negacja jest fałszywa.

JK
Góra
Mężczyzna
PostNapisane: 13 gru 2018, o 20:00 
Użytkownik

Posty: 355
Lokalizacja: Łódź
Przepraszam, tam miało być i
Góra
Mężczyzna
PostNapisane: 13 gru 2018, o 20:02 
Administrator

Posty: 24715
Lokalizacja: Wrocław
Zdanie

\neg \bigvee_{x \in \RR} \bigvee _{y \in \RR}(x + y = 0 \land 2x + 2y = 3)

jest prawdziwe.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 4 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Co to jest kreska szefera?  Anonymous  2
 Czy dana forma zdaniowa jest prawdziwa?  dem  5
 Sprawdz czy wyrazenie zdan jest tautologią  majab  3
 Jaki numer ma zdanie prawdziwe na tej liście?  Ciapanek  3
 Zdanie oznajmujace  Aram  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl