szukanie zaawansowane
 [ Posty: 3 ] 
Autor Wiadomość
Mężczyzna
 Tytuł: Rachunek zdań
PostNapisane: 7 mar 2019, o 19:23 
Użytkownik

Posty: 36
Lokalizacja: Wrocław
Witam mam problem z tym zadaniem.

Niech C oznacza czworokąt na płaszczyźnie. Rozważmy zdanie
Jeśli C jest trapezem, o ile jest rombem, to jeśli C jest trapezem, to jest kwadratem.
Zapisz powyższe jako formułę logiczną stosując oznaczenia: t: “C jest trapezem”, r: “C jest
rombem”, k: “C jest kwadratem”. Rozstrzygnij w każdym z poniższych przypadków, czy powyższe zdanie jest zawsze prawdziwe, zawsze fałszywe, czy też może być zarówno prawdziwe,
jak i fałszywe (w zależności od czworokąta C).
a) C jest trapezem,
b) C nie jest prostokątem,
c) C nie jest rombem, lecz jest trapezem.

napisałem ,że formuła logiczna to t \Rightarrow r \Rightarrow (t \Rightarrow k)

ale nie mam pewności czy jest dobra

Kompletnie nie rozumiem o co w nim chodzi, proszę o pomoc/wskazówki.
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2019
Góra
Mężczyzna
PostNapisane: 7 mar 2019, o 19:33 
Użytkownik
Avatar użytkownika

Posty: 461
Lokalizacja: Podkarpacie/Wrocław
143451.htm

Lub gdzie indziej, pełno było na tym forum, możesz wyszukać swój ulubiony temat o tym zadaniu :)
Góra
Mężczyzna
 Tytuł: Rachunek zdań
PostNapisane: 8 mar 2019, o 00:29 
Administrator

Posty: 24715
Lokalizacja: Wrocław
kacpersowinski napisał(a):
napisałem ,że formuła logiczna to t \Rightarrow r \Rightarrow (t \Rightarrow k)

Zauważ, że ta formuła jest zła z powodów składniowych.

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


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Rachunek zdań - zadanie 10  krizzage  12
 rachunek zdań - zadanie 2  rstruna  2
 Rachunek zdań - zadanie 4  BlackSlash  4
 Rachunek zdań - zadanie 7  kamil13151  5
 Rachunek zdań  Michal_Walczuk  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl