P∨Q⇒Q∨P [対称律](SYMMETRY)の真偽表(推論)

 P  Q   P∨Q  Q∨P   P∨Q⇒Q∨P 
 ○  ○   ○  ○   ○ 
 ○  ×   ○  ○   ○ 
 ×  ○   ○  ○   ○ 
 ×  ×   ×  ×   ○ 

・対称律はつねに真なり。


目次に戻る