Logic notes

Sets notes