Dodatkowe ćwiczenie do predykatów PDF

Preview

Summary

LOGIKA...

Description

DODATKOWE ĆWICZENIE DO PREDYKATÓW: 1. Zapisz w formie rachunku predykatów następujące wypowiedzi a następnie oddaj je również za pomocą co najmniej 3 równoważnych im zdań: i. Każda kapibara jest gryzoniem. ii.

Tylko psy są jamnikami.

iii.

Niektóre delfiny są agresywne.

iv.

Tylko niektóre stowarzyszenia są rejestrowane.

v.

Nie wszyscy prawnicy są adwokatami.

vi.

Żaden zabójca nie jest kinomanem.

vii.

Tylko niektóre żaby nie są zielone.

viii.

Wszystkie drzewa są roślinami.

ix.

Nie każdy tłumacz jest przysięgły.

x.

Niektóre akty prawne nie są ustawami.

xi.

Tylko meble są krzesłami.

xii.

Nie istnieje bezpieczny i atestowany lek.

ODPOWIEDZI: i. ii. iii. iv.

⋀ x [ K (x )→G ( x )] Tylko P a J = J a P.

⋀ x [ J ( x ) → P ( x) ]

⋁ x [ D ( x ) ∧ A ( x) ] Tylko S i R = S i R ∧ S o R. i.

⋁ x {[ S ( x ) ∧ R ( x ) ] ∧[ S ( x ) ∧ ∼ R ( x )]}

v.

∼ ⋀ x [P( x ) → A ( x ) ]

vi.

⋁ x [ Z ( x ) ∧ K( x) ]

vii.

Tylko Ż o Z = Ż o Z i.

viii.

∧ Z i Ż.

⋁ x [ Ż ( x ) ∧∼ Z ( x ) ] ∧ ⋁ x [Ż ( x ) ∧ Z ( x ) ]

⋁ x {[ Ż ( x ) ∧ ∼Z ( x ) ] ∧ [ Ż ( x ) ∧ Z ( x )] }

⋀ x [ D ( x ) → R ( x )]

ix.

∼ ⋀ x [T ( x ) → P( x ) ]

x.

⋁ x [ A ( x ) ∧∼ U (x ) ]

xi.

Tylko M a K = K a M.

xii.

⋁ x [ S ( x ) ∧ R ( x ) ] ∧ ⋁ x [ S ( x ) ∧∼ R ( x ) ]

⋀ x [ K ( x ) → M ( x) ]

∼ ⋁ x [B ( x ) ∧ A ( x ) ∧ L ( x )]...