Title: Formal Logic - Week 10 - 13

Construct the TNF of the following formula:

What is the definition of the Herbrand universe H(F) of some formula F ?

Q: What is a Herbrand Model?
A: (H(F) being the Herbrand Universe of F)

What is the connection between having a Herbrand Model and the satisfiability of some Formula F?

What is the definition of the Herbrand expansion of some Formula in Skolem Normal Form?

How does the resolution calculus for first-order logic work?!

When do 2 Sets M and N have the same cardinality?
When holds |M| <= |N| ?
When |M| < |N| ?

What is the power set of some set M ?

Prove !

When do we call a set countable / uncountable ?

What is this notation?

What is the Schröder-Bernstein-Theorem ?! What is it used for?

????

How do we define the semantics/structures in modal logic?!

. How ?!

???
????
????
???
 ???