Rachunek zdań

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
kacpersowinski
Użytkownik
Użytkownik
Posty: 36
Rejestracja: 26 lis 2018, o 12:51
Płeć: Mężczyzna
Lokalizacja: Wrocław

Rachunek zdań

Post autor: kacpersowinski » 7 mar 2019, o 18:23

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.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
Rafsaf
Użytkownik
Użytkownik
Posty: 466
Rejestracja: 19 lut 2017, o 11:04
Płeć: Mężczyzna
Lokalizacja: Podkarpacie/Wrocław
Podziękował: 54 razy
Pomógł: 80 razy

Re: Rachunek zdań

Post autor: Rafsaf » 7 mar 2019, o 18:33

143451.htm

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

Jan Kraszewski
Administrator
Administrator
Posty: 26525
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4437 razy

Rachunek zdań

Post autor: Jan Kraszewski » 7 mar 2019, o 23:29

kacpersowinski pisze: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

ODPOWIEDZ