Crowdly

Додати до Chrome

Університети
moodle.jku.at
338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W

338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W

Шукаєте відповіді та рішення тестів для 338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W? Перегляньте нашу велику колекцію перевірених відповідей для 338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W в moodle.jku.at.

Отримайте миттєвий доступ до точних відповідей та детальних пояснень для питань вашого курсу. Наша платформа, створена спільнотою, допомагає студентам досягати успіху!

Which of the following formulas can be shown to be satisfiable/unsatisfiable by just applying BCP (and nothing else)?

(c ∨ ¬d ∨ ¬e ) ∧ ¬b

(c ∨ ¬d ∨ ¬e ∨ a) ∧ ( ¬e ∨ ¬f ∨ ¬d ∨ ¬a) ∧ a

( ¬a ∨ c) ∧ (c ∨ ¬d ∨ ¬e ∨ a) ∧ ( ¬e ∨ ¬f ∨ ¬d ∨ ¬a) ∧ a ∧ ¬b

( b ∨ c) ∧ ( b ∨ ¬c) ∧ ¬b

( ¬a ∨ c) ∧ (c ∨ ¬d ∨ ¬e ∨ a) ∧ ( c ∨ ¬f ∨ ¬d ∨ ¬a) ∧ a

Переглянути це питання

Given the following formula:

¬(¬a $\to$ (b ∧ c)) ∧ (a

$\leftrightarrow$ b)

How many clauses do we obtain when we transform the formula into a semantically equivalent CNF (approach 1 of the lecture)?

Переглянути це питання

Given the following syntax tree of a propositional formula. This tree is annotated with labels to be used in the transformation to CNF.

formula tree

Which clauses occur in the CNF when using approach 2 as presented in the lecture to translate the formula to CNF?

(¬a ∨ l1 ∨ l2)

(¬l4 ∨ ¬d)

(b ∨ c)

(l4 ∨ d)

(l3 ∨ ¬b)

(l3 ∨ ¬c)

(¬l1)

Переглянути це питання

Specify the following problem (you may use any text representation for logical/mathematical symbols):

Given two finite integer sequences a and b that have at least one element in common (possibly at different positions), compute the sequence c that results from appending a and b.

For example, for legal inputs a=[1,2,1] and b=[3,1], output c=[1,2,1,3,1] is legal.

Переглянути це питання

Consider the following two formulas interpreted over the domain {1,2}:

∃x: ∀y: p(x,y)

∀y: ∃x: p(x,y)

For which definition of p is the first formula "true" and the second formula "false"?

p(1,1)=true, p(1,2)=true, p(2,1)=true, p(2,2)=true

p(1,1)=true, p(1,2)=false, p(2,1)=true, p(2,2)=false

p(1,1)=false, p(1,2)=false, p(2,1)=false, p(2,2)=false

None

p(1,1)=true, p(1,2)=true, p(2,1)=false, p(2,2)=false

Переглянути це питання

Consider the following formula where the outermost logical connective is "negation":

¬∀x : ((∃y : q(y, x)) → (p(x) ∨ ∃y : (p( y ) ∧ q(x, y))))

Which of the following formulas (where only atomic formulas are negated) is logically equivalent to this formula?

∃x : ((∃y : q(y, x)) ∨ (¬p(x) ∨ ∀y : (¬p( y ) ∧ ¬q(x, y))))

❌

∃x : ((∃y : q(y, x)) ∧ (¬p(x) ∧ ∃y : (¬p( y ) ∨ ¬q(x, y))))

❌

∃x : ((∀y : q(y, x)) ∧ (¬p(x) ∧ ∃y : (¬p( y ) ∨ ¬q(x, y))))

❌

∃x : ((∃y : ¬q(y, x)) ∧ (p(x) ∧ ∀y : (p( y ) ∨ q(x, y))))

❌

∃x : ((∀y : ¬q(y, x)) ∧ (¬p(x) ∧ ∀y : (¬p( y ) ∨ ¬q(x, y))))

❌

None

✅

Переглянути це питання

Take the following statement in natural language:

Every hinny is the offspring of a male horse and of a female donkey.

(Jeder Maulesel ist der Nachkomme eines männlichen Pferdes und eines weiblichen Esels.)

Which of the following formulas in first-order logic formalizes this statement correctly?

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isDonkey(y)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isHorse(z))

∀x,y,z: isHinny(x) → isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z)

100%

∃x: isHinny(x) ∧ (∀y: isOffspringOf(x,y) → isMale(y) ∧ isHorse(y)) ∧ (∀z: isOffspringOf(x,z) → isFemale(z) ∧ isDonkey(z))

∀x: isHinny(x) → (∃y,z: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(y,z) ∧ isFemale(z) ∧ isDonkey(z))

∀x: isHinny(x) ∧ (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y)) → (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z))

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) → isMale(y) ∧ isHorse(y)) ∧ (∃z: isOffspringOf(x,z) → isFemale(z) ∧ isDonkey(z))

None

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(x,y) ∧ isFemale(y) ∧ isDonkey(y))

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z))

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(x) ∧ isHorse(x)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(x) ∧ isDonkey(x))

Переглянути це питання

1
2
Наступна

Хочете миттєвий доступ до всіх перевірених відповідей на moodle.jku.at?

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome

Telegram Instagram TikTok Question Bank

Умови використання Зв'яжіться з нами

Додати до Chrome