#1
+-------------------Show Argument Invalid------------------+
                                                          
True                      (Ex)Px                          
                       ------------                       
False                       Pa                            
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {b}                                     
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#2
+-------------------Show Argument Invalid------------------+
                                                          
True                       Lac                            
                       ------------                       
False                      Lca                            
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,c}                                   
Enter L interp:   {<a,c>}                                 
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#3
+-------------------Show Argument Invalid------------------+
                                                          
True                     (Ex)Lxx                          
                       ------------                       
False                     (x)Lxx                          
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,a>}                                 
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#4
+-------------------Show Argument Invalid------------------+
                                                          
True                      (x)Lxx                          
                       ------------                       
False                  (Lab v Lba)                        
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,a>,<b,b>}                           
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#5
+-------------------Show Argument Invalid------------------+
                                                          
True                   (x)(Px v Qx)                       
                       ------------                       
False                ((x)Px v (x)Qx)                      
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {a}                                     
Enter Q interp:   {b}                                     
                                                          
+----------------------------------------------------------+
#6
+-------------------Show Argument Invalid------------------+
                                                          
True                   (x)(Px > Qx)                       
True                      (Ex)Px                          
                       ------------                       
False                ((Ex)Px & (x)Qx)                     
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {a}                                     
Enter Q interp:   {a}                                     
                                                          
+----------------------------------------------------------+
#7
+-------------------Show Argument Invalid------------------+
                                                          
True                 (Ex)(Lxa & Lax)                      
                       ------------                       
False                    (Ex)Lxx                          
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,b>,<b,a>}                           
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#8
+-------------------Show Argument Invalid------------------+
                                                          
True                        Pa                            
True                  (x)(~Px > Lxx)                      
                       ------------                       
False                    (Ex)Lxx                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {a,b}                                   
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#9
+-------------------Show Argument Invalid------------------+
                                                          
True                    (x)(Ey)Lxy                        
                       ------------                       
False                   (Ey)(x)Lxy                        
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,b>,<b,a>}                           
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#10
+-------------------Show Argument Invalid------------------+
                                                          
True           (x)(y)(z)((Rxy & Ryz) > Rxz)               
                       ------------                       
False                     (x)Rxx                          
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<a,b>}                                 
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#11
+-------------------Show Argument Invalid------------------+
                                                          
True                (x)(Px > (Ey)Ryx)                     
True                        Pa                            
                       ------------                       
False                   (x)(Ey)Rxy                        
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<a,a>}                                 
Enter P interp:   {a}                                     
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#12
+-------------------Show Argument Invalid------------------+
                                                          
True                   (Ex)(Ey)Rxy                        
                       ------------                       
False                    (Ey)Ryy                          
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<a,b>}                                 
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#13
+-------------------Show Argument Invalid------------------+
                                                          
True                   (Ex)(Ey)Rxy                        
True                (y)(z)(Ryz > Rzy)                     
                       ------------                       
False                    (Ez)Rzz                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<a,b>,<b,a>}                           
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#14
+-------------------Show Argument Invalid------------------+
                                                          
        (x)(y)((Px&Qy) > (Ez)((Pz&Qz) & (Ew)Rwz))         
                       ------------                       
                   (x)((Px & Qx) > Rxx)                   
                                                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<b,a>}                                 
Enter P interp:   {a}                                     
Enter Q interp:   {a}                                     
                                                          
+----------------------------------------------------------+




