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 is a Dutch fashion blogger based in the Netherlands. Eva runs her blog since 2015 and quickly grew into a edgy and streetstyle based fashion blog where you’ll also find social media tips and tricks. Eva is active on many social platforms like Instagram, Lookbook, Facebook, Pinterest and Bloglovin. This is one of the main reasons that her reach goes far. Even though she doesn’t consider herself to be a Dutch Influencer she has worked with Booking.com, Rituals, Livera, Jo Malone, Esprit, Vero Moda, Arket, Monki and many other brands.