論理式のみによる議論