Skolemization

a

e

d

f

c

b

 

Pants | Zara
Bag | River Island
Scarf and beanie | H&M
Jacket | Secondhand
Top | Monki
Boots  VanHaren
Bracelet | Asos
Necklace | Ebay

Skolemization: (logic) The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by an existential quantifier which lies in the scope of an even number of logical negations with a Skolem function, and (3) replace any variable bound by a universal quantifier which lies in the scope of an odd number of negations with a Skolem function.

Share:

1 Comment

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Eva runs “Eveoaks” since 2015 which quickly grew into an edgy and streetstyle based fashion blog.  She has worked with brands like Booking.com, Rituals, Livera, Jo Malone, Esprit, Vero Moda, Arket, Monki, Chiquelle and many more.