Logika ir dirbtinis intelektas.

2021 rudens semestro vidurio testas

Grupė Vardas Pavardė

TTS Raminta Cicėnaitė

1 užduotis. Sudarykite teisingumo lenteles šioms išraiškoms:

a) p→q
p q p→q
T T T
T K K
K T T
K K T

b) p→ (p·q)

p q
T T
T K
K T
K K
p·q p→ (p·q)
T T
K K
K T
K T

2 užduotis. Užbaikite formalizuoti teiginius. Sugalvokite natūralios kalbos sakinius, kurie galėtų
būti tokiu būdu formalizuoti:

a) „Arba ne p, arba q“
-Arba nesidžiaugi, arba džiaugiesi
b) „Jei p ir ne q, tai r ir ne s“
-Jei aš šoksiu ir ne nukrisiu, tai būsiu sveika ir nesusilaužysiu kojos

3 užduotis. Formalizuokite ir paaiškinkite teiginius:

a) „Atidarius kiaušinių pakuotę nerasta nė vieno nesudužusio kiaušinio“

- Netiesa, kad ne p -> ne q
b) „Degtinei į trobą įeinant, protas išeina laukan“
- p -> q

4 užduotis. Pagal kokį logikos dėsnį padaryta išvada:

 a) Jei elektrinė nustos tiekti elektros energiją, tai gamyba sustos, o jei gamyba sustos, tai
įmonė patirs nuostolių, vadinasi: jei elektrinė nustos tiekti elektros energiją, tai įmonė
patirs nuostolių.
-Implikacijos pereinamumas.
b) „Sakoma, kad laisvė – tai galimybė daryti tai, ką nori. Tačiau darydamas tai, ką nori, tampi
savo norų vergu, štai ir išeina, kad pasirinkęs laisvę tampi belaisvis.“
-Antecedento teigimo dėsnis.
5 užduotis. Ar samprotaujant padaryta loginė klaida? Jei taip, prašom nurodyti, koks logikos dėsnis
pažeistas:

a) „Jei būtum karvė, tai ėstum žolę. Betgi nesi karvė. Vadinasi, nevalgai žolės.“
- Nėra loginės klaidos.
b) Turite sumokėti mokesčius, kitu atveju mokėsite baudas. Mokesčius susimokėjome.
Vadinasi, jokia bauda mums nebus paskirta.
- Antecedento dėsnio pažeidimas.