Rachunek zdań

[kacpersowinski]

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 \(\displaystyle{ 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.

[Rafsaf]

143451.htm

Lub gdzie indziej, pełno było na tym forum, możesz wyszukać swój ulubiony temat o tym zadaniu

[Jan Kraszewski]

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

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

JK