Zdania prawdziwe i sprawdzanie poprawności rozumowań

[XYZ Maciej]

Potrzebuje podpowiedzi jak się zabrać do poniższych zadań.
1. Sprawdź czy podane zdania są prawdziwe
Jeśli Mieszko I był władcą Polski lub Napoleon nie był cesarzem, to Jan III Sobieski nie był królem Polski.


2. Sprawdź czy następujące rozumowania są poprawne
Jeśli pada deszcz, to jest mokro. A zatem jeśli nie jest mokro, to nie pada deszcz.
Wszystkie mamuty są ssakami i wszystkie mamuty wyginęły. Zatem wyginęły wszystkie ssaki.

3. Zapisz posługując się symbolika logiczną
Nie tylko matematycy są muzykalni
Niektóre mamuty są czarne i maja kły

Z góry dziękuje za pomoc.

[Jan Kraszewski]

1. Sprawdź czy podane zdania są prawdziwe
Jeśli Mieszko I był władcą Polski lub Napoleon nie był cesarzem, to Jan III Sobieski nie był królem Polski.

Oceń prawdziwość zdań prostych, ustal, jak zbudowane jest zdanie złożone (możesz napisać jego formalny schemat), a następnie korzystając ztych informacji ustal, czy zdanie złożone jest prawdziwe.

2. Sprawdź czy następujące rozumowania są poprawne
Jeśli pada deszcz, to jest mokro. A zatem jeśli nie jest mokro, to nie pada deszcz.
Wszystkie mamuty są ssakami i wszystkie mamuty wyginęły. Zatem wyginęły wszystkie ssaki.

Symboliczne zapisanie tych rozumowań może pomóc.

3. Zapisz posługując się symbolika logiczną
Nie tylko matematycy są muzykalni
Niektóre mamuty są czarne i maja kły

najpierw musisz wprowadzić pewne oznaczenia, np.

\(\displaystyle{ ma(x) - x}\) jest matematykiem
\(\displaystyle{ mu(x) - x}\) jest muzykalny
itd.

a potem użyć kwantyfikatorów.

JK