In this segment we're gonna take a look at box logic. Unfortunately, we cannot do that here on the studio so we're gonna have to take a road trip. Today we're headed for Stanford University's renowned logic laboratory. Follow me. And here we are. This is the logic laboratory. It may not look like much at least not superficially but this is where we investigate some of the latest innovations in logic technology. Today our goal was to look at box logic. Now the language of box logic is pretty simple. There are really just three constants. There is large box, there is medium box, and there is small box and they are all oriented one way or the other. Forming compound sentences from our consonants is easy. If we want to negate a sentence, we just invert. Not medium box, medium box. If you want this form of this junction from our constants, we stack them up. So here we have small box or medium box. And a conjunction is formed simply by placing multiple boxes or stacks of boxes on our table. So it's effectively colossal for. Okay. Now, let's try to use our logic to solve some problems. How about the problem case of Mary Patton Quincy? We call that. If it's Monday, Mary loves Pat or Quincy and Quincy, if Mary loves Pat, Mary loves Quincy. Let's see how we can represent that information using our new language. So first of all, if Mary loves Pat, Mary loves Quincy let's, let this medium sized box represent the fact that Mary loves Pat. This one represents Mary loves Quincy and the large one is going to be Monday. So we wanna say, if Mary loves Pat, Mary loves Quincy. How do we do that? Recalling the rules for converting to colossal form, we know that p implies q as equivalent to not p or q. So if you wanted to write that, we would write not Mary loves Pat or Mary loves Quincy. So, not Mary loves Pat or Mary loves Quincy. If Mary loves Pat, Mary loves Quincy. How about our other sentence? If it's Monday, then Mary loves Pat or Quincy. It's Monday, let's see. We need to say not Monday or Pat or Quincy. So it's not Monday mo re quick copies. Or Pat or Quincy. So there we have it. If it's Monday, Mary loves Pat or Quincy. If Mary loves Pat, Mary loves Quincy, represented, representing the premises of the problem. Now you may recall that the object of the problem was to show that if it's Monday then Mary loves Quincy. So how could we do that? What we have done is representing but we can also do computation, deduction with box logic. Any rules are pretty simple. If we ever have one stack which has a constant. Literal which is the complement of literal on another stack, we can do resolution on them. So here we have one stack with medium box down, here one stack with medium box up. We can combine the two stacks and eliminate the complementary literals and form these answers and since it's a duplicate, we can throw that one away and we're left with our conclusion. If it's Monday, Mary loves Quincy, nifty. Okay, what's the point? The point is that the language of logic is not about particular sets of symbols. And the active deduction doesn't mean necessarily that we're operating upon those particular symbols. Logic is an abstraction. Any instantiation of the symbols is equally good and any operations on them is equally good provided that it respects that basic abstraction. Okay. That's it for our visit to the logic laboratory today. We'll be back again later in the course with some additional demonstrations and we'll see you then.