Media Summary: We finally prove something, albeit rather obvious. This video introduces the concept of a "conditional claim", a compound claim of the form "If ... PROVE THE FOLLOWING #(pvq) ^ ~p= ~p^q ^(~pvq)= p^q #(p^q)=~(~pv~q) #(p^q)^~p=~pvq ...
Tutorial 5 Propositional Logic Equivariance - Detailed Analysis & Overview
We finally prove something, albeit rather obvious. This video introduces the concept of a "conditional claim", a compound claim of the form "If ... PROVE THE FOLLOWING #(pvq) ^ ~p= ~p^q ^(~pvq)= p^q #(p^q)=~(~pv~q) #(p^q)^~p=~pvq ...
