Zadatak-Vezbe-Matematicka logika-Matematika (14), Vežbe' predlog Logika
dcplover
dcplover

Zadatak-Vezbe-Matematicka logika-Matematika (14), Vežbe' predlog Logika

1 str.
3broj preuzimanja
1000+broj poseta
Opis
zadaci, vezbe, matematicka logika, matematika, zadaci sa vezbi, zadaci za vezbanje, vezbe iz matematicke logike, zadaci iz matematicke logike
20 poeni
poeni preuzimanja potrebni da se preuzme
ovaj dokument
preuzmi dokument
pregled1 str. / 1
preuzmi dokument
The LyX User's Guide

MATEMATIČKA LOGIKA 3. ŠKOLSKA ZADAĆA

21. SIJEČNJA 2008.

Glavnim testom za logiku prvog reda ispitajte:

(1) je li formula ∀x(R(x, x) ∧ P (x)) ispunjiva.

(2) je li formula ∃x¬Q(x, x) ∨ ∀x∀yQ(x, y) valjana.

(3) je li formula ∃x∃yR(x, y) logička posljedica formulâ ∀x∀y∃z(P (x)→ R(y, z)) i ∃xP (x).

nema postavljenih komentara
preuzmi dokument