○×の組み合わせ(命題1つ)

 IN   OUT 
 P   p1-1 
 p0-1 
 ￢(p1-4) 
 (p1-1)∧(p1-1) 
 (p1-1)∧(p1-2) (*1) 
 (p1-1)∧(p1-3) (*1) 
 (p1-1)∧(p1-4) (*1) 
 (p1-2)∧(p1-3) (*1) 
 (p1-4)⇒(p1-1) 
 (p1-1)∨(p1-1)  		 p1-2 
 - 
 ￢(p1-3) 
 (p1-2)∧(p1-2) 
 (p1-2)∧(p1-4) (*1) 
 (p1-3)⇒(p1-1) 
 (p1-3)⇒(p1-2) 
 (p1-4)⇒(p1-2) 
 (p1-2)∨(p1-2) 
 (p1-1)∨(p1-2) (*1)  		 p1-3 
 - 
 ￢(p1-2) 
 (p1-3)∧(p1-3) 
 (p1-3)∧(p1-4) (*1) 
 (p1-2)⇒(p1-1) 
 (p1-2)⇒(p1-3) 
 (p1-4)⇒(p1-3) 
 (p1-3)∨(p1-3) 
 (p1-1)∨(p1-3) (*1)  		 p1-4 
 p0-2 
 ￢(p1-1) 
 (p1-4)∧(p1-4) 
 (p1-1)⇒(p1-1) 
 (p1-2)⇒(p1-2) 
 (p1-3)⇒(p1-3) 
 (p1-4)⇒(p1-4) 
 (p1-1)⇒(p1-2) 
 (p1-1)⇒(p1-3) 
 (p1-1)⇒(p1-4) 
 (p1-2)⇒(p1-4) 
 (p1-3)⇒(p1-4) 
 (p1-4)∨(p1-4) 
 (p1-1)∨(p1-4) (*1) 
 (p1-2)∨(p1-3) (*1) 
 (p1-2)∨(p1-4) (*1) 
 (p1-3)∨(p1-4) (*1) 
 ×  ×   ○  ×   ○ 
 ○  ×   ×  ○   ○ 

(*1)演算子の前後を入れ替えても真偽は同じ


 IN   OUT 
 P   p1-1 
 ￢P∧P  [2a3] 
 P∧￢P  [3a2] 
 ￢￢(P∧￢P)  [n4] 
 ￢(P⇒P)  [n4] 
 ￢￢P∧￢P  [3a2] 
 ￢￢(￢￢P∧￢P)  [n4] 
 ￢(￢￢P⇒P)  [n4] 
 ￢(￢P∨P)  [n4] 
 ￢P∧￢￢P  [2a3] 
 ￢￢(￢P∧￢￢P)  [n4] 
 ￢(￢P⇒￢P)  [n4] 
 ￢(P∨￢P)  [n4]  		 p1-2 
 ￢P  [n3] 
 ￢￢￢P  [n3] 
 ￢(P∧P)  [n3] 
 ￢P∧￢P  [2a2] 
 ￢(￢￢P∧P)  [n3] 
 ￢(P∧￢￢P)  [n3] 
 P⇒￢P  [3i2] 
 ￢(￢￢P∧￢￢P)  [n3] 
 ￢￢P⇒￢P  [3i2] 
 ￢P∨￢P  [2o2]  		 p1-3 
 P 
 ￢￢P  [n2] 
 P∧P  [3a3] 
 ￢(￢P∧￢P)  [n2] 
 ￢P⇒P  [2i3] 
 P∨P  [3o3] 
 ￢￢P∧P  [3a3] 
 P∧￢￢P  [3a3] 
 ￢￢(P∧￢￢P)  [n2] 
 ￢(P⇒￢P)  [n2] 
 ￢￢P∧￢￢P  [3a3] 
 ￢￢(￢￢P∧￢￢P)  [n2] 
 ￢(￢￢P⇒￢P)  [n2] 
 ￢(￢P∨￢P)  [n2]  		 p1-4 
 ￢(￢P∧P)  [n1] 
 ￢(P∧￢P)  [n1] 
 P⇒P  [3i3] 
 ￢(￢￢P∧￢P)  [n1] 
 ￢￢P⇒P  [3i3] 
 ￢P∨P  [2o3] 
 ￢(￢P∧￢￢P) [n1]  
 ￢P⇒￢P  [2i2] 
 P∨￢P  [3o2] 
 ×  ×   ○  ×   ○ 
 ○  ×   ×  ○   ○ 

├目次に戻る