Základy výrokové logiky a teorie množin