Treść zadania

1)

a) Podaj indeksy wszystkich wyrazów w następujących zdaniach.

b) Dokonaj oceny spójności syntaktycznej tych zdań.

Nieprawda, że Wrocław jest stolicą Polski.

Między rośnie świerk.

2) Rozstrzygnij o każdej z następujących formuł zdaniowych czy jest prawem teorii mnogości, czy nie jest:

a) A=A U (A ∩ B)

b) (A U B)' c A' U B'

c) A c B' ≡ A U B = V

3) Co możesz powiedzieć o rodzaju oraz poprawności następujących definicji:

Fizyka jest nauką o przedmiotach, którymi rządzą prawa fizyki,

Zwierzę to dwunożna istota żyjąca.

4) Jaki stosunek zachodzi między zakresami nazw:

a) nie-róża, nie-kożuch

b) nie-ptak, sowa

5) Zakresy nazw (terminów) S, P klasycznych zdań kategorycznych są takie, że:

a) S i P wykluczają się

b) S jest podrzędne względem P

Podaj dla tych przypadków, tj. dla a) i dla b) wartości logiczne kwadratu logicznego utworzonego ze zdań składających się z terminów: S, P.

6) O każdym z następujących zdań (wnioskowanie bezpośrednie) rozstrzygnij:

a) jaka jest wartość logiczna występującej w nim przesłanki

b) jaka jest wartość logiczna wniosku

c) czy zdanie jest prawdziwe (czy jest egzemplifikacją prawa wnioskowania bezpośredniego)

Jeżeli żaden ptak nie jest ssakiem to pewien nie-ssak nie jest ptakiem.

Jeżeli niektóre róże są kwiatami, to niektóre kwiaty nie są różami.

7) Czy poniższe zdanie jest wnioskowaniem niezawodnym? Sformalizuj je i wskaż rodzaj wnioskowania na jakim się ono opiera:

Kto ukończył osiemnaście lat, ten ma pieniądze na kupno samochodu, bo ktoś, kto ukończył osiemnaście lat może samemu kupić samochód, a kto może sam kupić samochód, ten ma pieniądze na kupno samochodu.

Niektóre kobiety są kierowcami, a więc znają kodeks drogowy, bo kodeks drogowy znają wszyscy kierowcy.

8) Jaki wniosek wynika z przesłanki:

SeM, PaM ?

Zbadaj i podaj wszystkie możliwe odpowiedzi.


10) Funktor dwuargumentowy V jest fałszywy wtedy i tylko wtedy, gdy nie jest prawdziwy jego pierwszy argument, Podaj matrycę definiującą ten funktor.

11) Ustal, które z poniższych zdań są przeciwne:

a) p˄q, ~p ˄ ~q

b) p ˅ q, ~p → ~q

proszę o pomoc :)