Grupa A Imię i Nazwisko:................................................... 1. Sprawdź czy poniższy schemat wnioskowania jest niezawodny i jeśli tak to wykaż jego niezawodność metodą założeniową.

Grupa A

Imię i Nazwisko:...

1. Sprawdź czy poniższy schemat wnioskowania jest niezawodny i jeśli tak to wykaż jego niezawodność metodą założeniową.

[(¬p → g) ∧ [(q → r) ∧ (p → s)]] → (r ∨ s) rozwiązanie:

2. Zapisz poniższe zdanie (zapisane w języku naturalnym) przy użyciu ra- chunku zdań z użyciem kwantyfikatorów.

Uwaga ! Każde zdanie da się przedstawić zarówno z użyciem kwantyfika- tora szczegółowego jak i ogólnego. Dopiero obie poprawnie zapisane wersje zasługują na maksymalną notę.

Nie jest prawdą, że żaden ptak nie biega.

rozwiązanie:

1

Grupa B

Imię i Nazwisko:...

1. Sprawdź czy poniższy schemat wnioskowania jest niezawodny i jeśli tak to wykaż jego niezawodność metodą założeniową.

[[p → (g → r)] ∧ (r → s)] → [¬(q ∧ p) ∨ s]

rozwiązanie:

2. Zapisz poniższe zdanie (zapisane w języku naturalnym) przy użyciu ra- chunku zdań z użyciem kwantyfikatorów.

Uwaga ! Każde zdanie da się przedstawić zarówno z użyciem kwantyfika- tora szczegółowego jak i ogólnego. Dopiero obie poprawnie zapisane wersje zasługują na maksymalną notę.

Nieprawda, że nie ma ssaków nie mających futer.

rozwiązanie:

2